The Girard-Reynolds isomorphism (second edition) (Q879366)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5151780
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The Girard-Reynolds isomorphism (second edition) |
scientific article; zbMATH DE number 5151780 |
Statements
The Girard-Reynolds isomorphism (second edition) (English)
0 references
11 May 2007
0 references
Girard-Reynolds type system
0 references
System F
0 references
polymorphic lambda calculus
0 references
abstraction theorem
0 references
representation theorem
0 references
Curry-Howard
0 references
0.9754695296287536
0 references
0.7573003172874451
0 references
