Comparing cubes of typed and type assignment systems

DOI10.1016/S0168-0072(96)00036-XzbMath0952.03010MaRDI QIDQ1365249

Luigi Liquori, Steffen van Bakel, Paweł Urzyczyn, Simonetta Ronchi della Rocca

Publication date: 23 October 1997

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

zbMATH Keywords

polymorphismlambda calculuscube of typed assignment systemstyped \(\lambda\)-cube

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (5)

Intersection-types à la Church ⋮ Bridging Curry and Church's typing style ⋮ Typed generic traversal with term rewriting strategies ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Introduction to Type Theory

Uses Software

• ML
• Automath

Cites Work

• The system \({\mathcal F}\) of variable types, fifteen years later
• The calculus of constructions
• A theory of type polymorphism in programming
• A filter lambda model and the completeness of type assignment
• Progress report on generalized functionality
• G‐Stratification is Equivalent to F‐Stratification
• Functionality in Combinatory Logic
• Introduction to generalized type systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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