Comparing cubes of typed and type assignment systems
From MaRDI portal
(Redirected from Publication:1365249)
Recommendations
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
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)