A proof of the normal form theorem for t
β
Silvio Valentini
π
Article
π
1993
π
John Wiley and Sons
π
English
β 300 KB
## Abstract In this paper a proof of the normal form theorem for the closed terms of __Girard's system F__ is given by using a computability method Γ la Tait. It is worth noting that most of the standard consequences of the normal form theorem can be obtained using this version of the theorem as we