𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A paradox of cooperation in the conversational calculus

✍ Scribed by Savas L. Tsohatzidis


Book ID
113303911
Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
423 KB
Volume
13
Category
Article
ISSN
0271-5309

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The converse principal type-scheme theor
✍ Sachio Hirokawa πŸ“‚ Article πŸ“… 1992 πŸ› Springer Netherlands 🌐 English βš– 637 KB

A principal type-scheme of a A-term is the most general type-scheme for the term. The converse principal type-scheme theorem (J.R. Hindley, The principal typescheme of an object in combinatory logic, Trans. Amer. Math. Soe. 146 (1969) P9-60) states that every type-scheme of a combinatory term is a p