Metacircularity in the polymorphic \(\lambda\)-calculus
From MaRDI portal
Publication:1177938
DOI10.1016/0304-3975(90)90109-UzbMath0736.03003MaRDI QIDQ1177938
Publication date: 26 June 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
68N15: Theory of programming languages
68N01: General topics in the theory of software
03B40: Combinatory logic and lambda calculus
Related Items
Uses Software
Cites Work
- Automatic synthesis of typed \(\Lambda\)-programs on term algebras
- The calculus of constructions
- Recursive functions of symbolic expressions and their computation by machine, Part I
- Inductively defined types in the Calculus of Constructions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item