A proof of the normal form theorem for the closed terms of Girard's system <i>F</i> by means of computability (Q4304789)
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 627575
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A proof of the normal form theorem for the closed terms of Girard's system <i>F</i> by means of computability |
scientific article; zbMATH DE number 627575 |
Statements
A proof of the normal form theorem for the closed terms of Girard's system <i>F</i> by means of computability (English)
0 references
24 November 1994
0 references
typed lambda-calculus
0 references
normal form theorem for the closed terms of Girard's System F
0 references
0.7583459615707397
0 references
0.7545948028564453
0 references
