Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object (Q1893735)
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 772336
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object |
scientific article; zbMATH DE number 772336 |
Statements
Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object (English)
0 references
2 August 1995
0 references
second order lambda calculus
0 references
Curry-Howard correspondence
0 references
0.8869872
0 references
0.8729999
0 references
0.86970794
0 references
0.86735153
0 references
0.8667373
0 references
0.8648346
0 references
