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

The converse of a Kellogg-type theorem

โœ Scribed by L. I. Kolesnik


Book ID
112478651
Publisher
Springer
Year
1969
Tongue
English
Weight
229 KB
Volume
21
Category
Article
ISSN
0041-5995

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


The converse of Abelโ€™s theorem
โœ V. A. Kisunโ€™ko ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› SP MAIK Nauka/Interperiodica ๐ŸŒ English โš– 182 KB
The Converse of Fatou's Theorem
โœ Allen, A. C.; Kerr, E. ๐Ÿ“‚ Article ๐Ÿ“… 1953 ๐Ÿ› Oxford University Press ๐ŸŒ English โš– 230 KB
A converse of Baerโ€™s theorem
โœ Rasoul Hatamian,Mitra Hassanzadeh,Saeed Kayvanfar ๐Ÿ“‚ Article ๐Ÿ“… 2013 ๐Ÿ› Springer Milan ๐ŸŒ Italian โš– 132 KB
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