The following pages link to Algebras and combinators (Q1162534):
Displaying 30 items.
- Relational graph models, Taylor expansion and extensionality (Q283769) (← links)
- Spaces with combinators (Q688513) (← links)
- Type inference with recursive types: Syntax and semantics (Q756435) (← links)
- On combinatory algebras and their expansions (Q760416) (← links)
- Completeness of type assignment in continuous lambda models (Q792995) (← links)
- An irregular filter model (Q930872) (← links)
- Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms (Q1050334) (← links)
- Functional programming with combinators (Q1098628) (← links)
- Finite type structures within combinatory algebras (Q1182485) (← links)
- Set-theoretical and other elementary models of the \(\lambda\)-calculus (Q1314361) (← links)
- Intersection type assignment systems (Q1350344) (← links)
- Representation of varieties in combinatory algebras (Q1821805) (← links)
- Semantics for dual and symmetric combinatory calculi (Q1826434) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Intersection types and lambda models (Q2369008) (← links)
- What is a categorical model of the differential and the resource λ-calculi? (Q2888856) (← links)
- Easy lambda-terms are not always simple (Q2889181) (← links)
- Some reasons for generalising domain theory (Q3559971) (← links)
- The interpretation of unsolvable <i>λ</i>-terms in models of untyped <i>λ</i>-calculus (Q4254697) (← links)
- (Q4580329) (← links)
- Collapsing partial combinatory algebras (Q4645804) (← links)
- From Böhm's Theorem to Observational Equivalences (Q4916172) (← links)
- Towards Lambda Calculus Order-Incompleteness (Q4916175) (← links)
- Intersection Types and Computational Rules (Q4924527) (← links)
- (Q4991956) (← links)
- Aristotle’s Relations: An Interpretation in Combinatory Logic (Q5057051) (← links)
- Lazy Lambda calculus: Theories, models and local structure characterization (Q5204341) (← links)
- (Q5227517) (← links)
- (Q5227518) (← links)
- Intersection types for \(\lambda\)-trees (Q5958291) (← links)
