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 this page instead for the normal view: A proof of the normal form theorem for the closed terms of Girard's system F by means of computability |
scientific article; zbMATH DE number 627575
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
