Pages that link to "Item:Q1119620"
From MaRDI portal
The following pages link to BCK-combinators and linear \(\lambda\)-terms have types (Q1119620):
Displaying 16 items.
- Gödel's system \(\mathcal T\) revisited (Q960861) (← links)
- 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)
- A type-assignment of linear erasure and duplication (Q2193281) (← 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)
- Abstract Families of Abstract Categorial Languages (Q4917989) (← links)
- (Q5013825) (← links)
- Principal type-schemes of BCI-lambda-terms (Q5096242) (← links)
- On the reification of semantic linearity (Q5741580) (← links)
