Journal of Computer and System Sciences
Lambda abstraction algebras: representation theorems
AMAST '93 Selected papers of the international conference on Algebraic methodology of software technology
Information and Computation
Theoretical Computer Science - Modern algebra and its applications
On the algebraic models of Lambda calculus
Theoretical Computer Science - Modern algebra and its applications
Stable Models of Typed lambda-Calculi
Proceedings of the Fifth Colloquium on Automata, Languages and Programming
Topological incompleteness and order incompleteness of the lambda calculus
ACM Transactions on Computational Logic (TOCL)
Order-incompleteness and finite Lambda reduction models
Theoretical Computer Science
The Lattice of Lambda Theories
Journal of Logic and Computation
From λ-Calculus to Universal Algebra and Back
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus
LICS '09 Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science
Effective λ-models versus recursively enumerable λ-theories
Mathematical Structures in Computer Science
Applying Universal Algebra to Lambda Calculus*
Journal of Logic and Computation
Hi-index | 0.00 |
In this paper we give an outline of recent algebraic results concerning theories and models of the untyped lambda calculus.