Comparing cubes of typed and type assignment systems

DOI10.1016/S0168-0072(96)00036-XMaRDI QIDQ1365249zbMATH OpenFDO

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

Publication date 23 October 1997

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

lambda calculuspolymorphismcube of typed assignment systemstyped \(\lambda\)-cube

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 1499110
• Typing in pure type systems
• Introduction to generalized type systems

Cites work

• scientific article; zbMATH DE number 445157 (Why is no real title available?)
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 512777 (Why is no real title available?)
• scientific article; zbMATH DE number 1499110 (Why is no real title available?)
• scientific article; zbMATH DE number 1400716 (Why is no real title available?)
• scientific article; zbMATH DE number 2242593 (Why is no real title available?)
• G‐Stratification is Equivalent to F‐Stratification
• A filter lambda model and the completeness of type assignment
• A theory of type polymorphism in programming
• Functionality in Combinatory Logic
• Introduction to generalized type systems
• Progress report on generalized functionality
• The calculus of constructions
• The system \({\mathcal F}\) of variable types, fifteen years later

Cited in

(6)

• Introduction to Type Theory
• Typed generic traversal with term rewriting strategies
• scientific article; zbMATH DE number 1692907 (Why is no real title available?)
• Bridging Curry and Church's typing style
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Intersection-types à la Church

Describes a project that uses

Uses Software

• Automath
• ML

This page was built for publication: Comparing cubes of typed and type assignment systems

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