scientific article; zbMATH DE number 1499110

MaRDI QIDQ4501164zbMATH OpenFDO

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

Publication date 3 September 2000

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
• scientific article; zbMATH DE number 1692907

Cited in

(6)

• Comparing cubes of typed and type assignment systems
• scientific article; zbMATH DE number 1692907 (Why is no real title available?)
• 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:

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