Skip to content

Formalizing Polynomial Laws and the Universal Divided Power Algebra.

Antoine Chambert-Loir, Mara Ins de Frutos-Fernndez

VenueBCPP
Year2026
ProceedingsCPP

Browse the full CPP paper archive.