The Girard-Reynolds isomorphism

DOI10.1016/S0890-5401(03)00141-XzbMath1090.03004MaRDI QIDQ1887154

Philip Wadler

Publication date: 23 November 2004

Published in: Information and Computation (Search for Journal in Brave)

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (3)

The Girard-Reynolds isomorphism (second edition) ⋮ Combining deep and shallow embedding of domain-specific languages ⋮ Iteration and coiteration schemes for higher-order and nested datatypes

Uses Software

• ML
• Nuprl
• Automath

Cites Work

• Extensional models for polymorphism
• Functorial polymorphism
• Automatic synthesis of typed \(\Lambda\)-programs on term algebras
• The calculus of constructions
• A theory of type polymorphism in programming
• On functors expressible in the polymorphic typed lambda calculus
• Formal parametric polymorphism
• Fundamental concepts in programming languages
• Constructive mathematics and computer programming
• Categorical data types in parametric polymorphism
• Introduction to generalized type systems
• The Principal Type-Scheme of an Object in Combinatory Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Girard-Reynolds isomorphism