Proofs in the final algebra (1984)

by L Puel
Venue:IXth Colloquium on Trees in Algebra and Programming