Structures definable in polymorphism
From MaRDI portal
Publication:1273075
DOI10.1007/BF02946501zbMath0910.68147MaRDI QIDQ1273075
Publication date: 2 December 1998
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
Related Items (1)
Cites Work
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Automatic synthesis of typed \(\Lambda\)-programs on term algebras
- Generalized algebraic theories and contextual categories
- The extended calculus of constructions (ECC) with inductive types
- Constructive sets in computable sets
- Inductive types and type constraints in the second-order lambda calculus
- Categorical properties of logical frameworks
- A short survey of isomorphisms of types
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Structures definable in polymorphism
