The Girard-Reynolds isomorphism

DOI10.1016/S0890-5401(03)00141-XMaRDI QIDQ1887154zbMATH OpenFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 2242602
• The Girard-Reynolds isomorphism (second edition)
• Polymorphic lambda calculus: The Church-Rosser property
• scientific article; zbMATH DE number 3882404
• scientific article; zbMATH DE number 1696771

Cites work

• scientific article; zbMATH DE number 4179331 (Why is no real title available?)
• scientific article; zbMATH DE number 3882404 (Why is no real title available?)
• scientific article; zbMATH DE number 4147469 (Why is no real title available?)
• scientific article; zbMATH DE number 4049849 (Why is no real title available?)
• scientific article; zbMATH DE number 1183239 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 512792 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• scientific article; zbMATH DE number 3331288 (Why is no real title available?)
• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• scientific article; zbMATH DE number 2242602 (Why is no real title available?)
• A theory of type polymorphism in programming
• Automatic synthesis of typed -programs on term algebras
• Categorical data types in parametric polymorphism
• Constructive mathematics and computer programming
• Extensional models for polymorphism
• Formal parametric polymorphism
• Functorial polymorphism
• Fundamental concepts in programming languages
• Introduction to generalized type systems
• On functors expressible in the polymorphic typed lambda calculus
• The Principal Type-Scheme of an Object in Combinatory Logic
• The calculus of constructions

Cited in

(4)

• Combining deep and shallow embedding of domain-specific languages
• scientific article; zbMATH DE number 2242602 (Why is no real title available?)
• The Girard-Reynolds isomorphism (second edition)
• Iteration and coiteration schemes for higher-order and nested datatypes

Describes a project that uses

Uses Software

• Automath
• Nuprl
• ML

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1887154)