The Girard-Reynolds isomorphism (second edition)
type: Item
instance of: scholarly article
title: The Girard-Reynolds isomorphism (second edition)
zbMATH Open document ID: 1111.03014
author: Philip Wadler
published in: Theoretical Computer Science
publication date: 2007-05-11T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 5151780
zbMATH Keywords: Girard-Reynolds type system
zbMATH Keywords: System F
zbMATH Keywords: polymorphic lambda calculus
zbMATH Keywords: abstraction theorem
zbMATH Keywords: representation theorem
zbMATH Keywords: Curry-Howard
describes a project that uses: ML
describes a project that uses: Nuprl
describes a project that uses: Automath
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.12.042
OpenAlex ID: W2095835314
cites work: Formal parametric polymorphism
cites work: Introduction to generalized type systems
cites work: Functorial polymorphism
cites work: Automatic synthesis of typed \(\Lambda\)-programs on term algebras
cites work: Extensional models for polymorphism
cites work: Q5565113
cites work: The calculus of constructions
cites work: Q5610115
cites work: Q3827997
cites work: Q3994895
cites work: Categorical data types in parametric polymorphism
cites work: The Principal Type-Scheme of an Object in Combinatory Logic
cites work: The Discrete Objects in the Effective Topos
cites work: Q3477935
cites work: Constructive mathematics and computer programming
cites work: A theory of type polymorphism in programming
cites work: Q3786612
cites work: Q3202989
cites work: Parametric polymorphism and operational equivalence
cites work: Q4281485
cites work: Q5624680
cites work: Q3216629
cites work: On functors expressible in the polymorphic typed lambda calculus
cites work: Fundamental concepts in programming languages
cites work: Q3837987
cites work: Q5714455
cites work: The Girard-Reynolds isomorphism
DOI: 10.1016/J.TCS.2006.12.042
description: scientific article; zbMATH DE number 5151780