Axiomatisation of substitution

DOI10.1016/J.CRMA.2004.01.021zbMath1041.03008OpenAlexW1965754446MaRDI QIDQ1433380

Marcel Crabbé

Publication date: 15 June 2004

Published in: Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.crma.2004.01.021

zbMATH Keywords

completenesssubstitutionlogos

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras ⋮ Cuts and gluts

Cites Work

• Prelogic of logoi
• Explicit substitutions

This page was built for publication: Axiomatisation of substitution