The following pages link to (Q3691634):
Displayed 5 items.
- BCK-combinators and linear \(\lambda\)-terms have types (Q1119620) (← links)
- Implementing the `Fool's model' of combinatory logic (Q1181718) (← links)
- The converse principal type-scheme theorem in lambda calculus (Q1194107) (← links)
- Principal types of BCK-lambda-terms (Q1208417) (← links)
- Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends (Q1346635) (← links)