𝔖 Bobbio Scriptorium
✦   LIBER   ✦

F44. Fallacy in the proof of Birnbaum's theorem: the reply by Berger (F28)

✍ Scribed by V.M. Joshi


Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
91 KB
Volume
55
Category
Article
ISSN
0378-3758

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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