Comparing cubes

DOI10.1007/3-540-58140-5_33MaRDI QIDQ4501164zbMATH OpenFDO

Authors Steffen Van Bakel, Luigi Liquori, Paweł Urzyczyn, Simona Ronchi Della Rocca

Publication date 3 September 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58140-5_33

zbMATH Keywords

cube of type assignment systemstyped lambda-cube

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Comparing cubes of typed and type assignment systems
• Introduction to generalized type systems
• Refining the Barendregt cube using parameters

Cited in

(6)

• Comparing cubes of typed and type assignment systems
• Refining the Barendregt cube using parameters
• Canonical typing and ∏-conversion in the Barendregt Cube
• Implicative algebras: a new foundation for realizability and forcing
• On cubism
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

This page was built for publication: Comparing cubes

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