𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Proof of Strong Normalization for F2, Fω, and Beyond

✍ Scribed by D. Mcallester; J. Kucan; D.F. Otth

Book ID
112252178
Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
645 KB
Volume
121
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A proof of the normal form theorem for t
A proof of the normal form theorem for the closed terms of Girard's system F by means of computability
✍ 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