Algebras and combinators
From MaRDI portal
Publication:1162534
DOI10.1007/BF02483849zbMath0482.08005MaRDI QIDQ1162534
Publication date: 1981
Published in: Algebra Universalis (Search for Journal in Brave)
Related Items (30)
The interpretation of unsolvable λ-terms in models of untyped λ-calculus ⋮ What is a categorical model of the differential and the resource λ-calculi? ⋮ Easy lambda-terms are not always simple ⋮ Relational graph models, Taylor expansion and extensionality ⋮ Intersection types and lambda models ⋮ Aristotle’s Relations: An Interpretation in Combinatory Logic ⋮ Intersection type assignment systems ⋮ Functional programming with combinators ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An irregular filter model ⋮ Finite type structures within combinatory algebras ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Some reasons for generalising domain theory ⋮ Collapsing partial combinatory algebras ⋮ Spaces with combinators ⋮ From Böhm's Theorem to Observational Equivalences ⋮ Towards Lambda Calculus Order-Incompleteness ⋮ Intersection Types and Computational Rules ⋮ Intersection types for \(\lambda\)-trees ⋮ Lazy Lambda calculus: Theories, models and local structure characterization ⋮ Unnamed Item ⋮ Type inference with recursive types: Syntax and semantics ⋮ On combinatory algebras and their expansions ⋮ Representation of varieties in combinatory algebras ⋮ Semantics for dual and symmetric combinatory calculi ⋮ Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms ⋮ Completeness of type assignment in continuous lambda models ⋮ Set-theoretical and other elementary models of the \(\lambda\)-calculus
Cites Work
This page was built for publication: Algebras and combinators
