The Girard-Reynolds isomorphism

DOI10.1016/S0890-5401(03)00141-XzbMATH Open1090.03004MaRDI QIDQ1887154FDOQ1887154

Authors: Philip Wadler 

Publication date: 23 November 2004

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

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

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

Cited In (4)

• Combining deep and shallow embedding of domain-specific languages
• Title not available (Why is that?)
• The Girard-Reynolds isomorphism (second edition)
• Iteration and coiteration schemes for higher-order and nested datatypes

Uses Software

• ML
• Nuprl
• Automath

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)