Combinatory logic and lambda calculus are equal, algebraically

DOI10.4230/LIPICS.FSCD.2023.24MaRDI QIDQ6622066zbMATH OpenFDO

Authors Thorsten Altenkirch, Ambrus Kaposi, Artjoms Šinkarovs, Tamás Végh

Publication date 21 October 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2023.24

zbMATH Keywords

combinatory logiccubical Agdalambda calculusquotient inductive types

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 3941502
• scientific article; zbMATH DE number 176159
• scientific article; zbMATH DE number 2185659
• scientific article; zbMATH DE number 1377703
• On the algebraic models of lambda calculus

Cited in

(2)

• Second-order generalised algebraic theories: signatures and first-order semantics
• Scott's representation theorem and the univalent Karoubi envelope

This page was built for publication: Combinatory logic and lambda calculus are equal, algebraically

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6622066)