๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A structure theorem for rationalizability in the normal form of dynamic games

โœ Scribed by Yi-Chun Chen

Book ID
116506468
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
240 KB
Volume
75
Category
Article
ISSN
0899-8256

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