The Principal Type-Scheme of an Object in Combinatory Logic
E1987341
UNEXPLORED
"The Principal Type-Scheme of an Object in Combinatory Logic" is a foundational paper in type theory and lambda calculus that formally characterizes principal type schemes for combinatory logic terms, underpinning later developments in polymorphic type inference.
All labels observed (1)
| Label | Occurrences |
|---|---|
| The Principal Type-Scheme of an Object in Combinatory Logic canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.