The following pages link to On principal types of combinators (Q1583260):
Displaying 5 items.
- BCK-combinators and linear \(\lambda\)-terms have types (Q1119620) (← links)
- The converse principal type-scheme theorem in lambda calculus (Q1194107) (← links)
- Principal types of BCK-lambda-terms (Q1208417) (← links)
- (Q4336197) (← links)
- The involutions-as-principal types/application-as-unification Analogy (Q5222959) (← links)