Pages that link to "Item:Q1119620"
From MaRDI portal
The following pages link to BCK-combinators and linear \(\lambda\)-terms have types (Q1119620):
Displayed 10 items.
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Filter models with polymorphic types (Q1186431) (← links)
- Principal types of BCK-lambda-terms (Q1208417) (← links)
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- On principal types of combinators (Q1583260) (← links)
- Weak linearization of the lambda calculus (Q2566028) (← links)
- The number of proofs for a BCK-formula (Q3138016) (← links)
- Compact bracket abstraction in combinatory logic (Q4372904) (← links)
- (Q4499281) (← links)
- The proofs of <i>α</i> → <i>α</i> in <i>P</i> – <i>W</i> (Q4879907) (← links)