Add to ORKGIn this paper we briefly summarize the contents of Manzonetto's PhD thesis which concerns denotational semantics and equational/order theories of the pure untyped lambda-calculus. The main research achievements include: (i) a general construction of lambda-models from reflexive objects in (possibly non-well-pointed) categories; (ii) a Stone-style representation theorem for combinatory algebras; (iii) a proof that no effective lambda-model can have lambda-beta or lambda-beta-eta as its equational theory (this can be seen as a partial answer to an open problem introduced by Honsell-Ronchi Della Rocca in 1984)
Many familiar models of the untyped lambda calculus are constructed by order theoretic methods. This...
Answering a question by Honsell and Plotkin, we show that there are two equations between lambda ter...
AbstractThe variety (equational class) of lambda abstraction algebras was introduced to algebraize t...
In this paper we briefly summarize the contents of Manzonetto's PhD thesis which concerns denotation...
untyped lambda calculus was introduced around 1930 by Church [11] as part of an investigation in the...
In this paper we give an outline of recent algebraic results concerning theories and models of the u...
In this paper we give an outline of recent algebraic results concerning theories and models of the u...
In this paper we give an outline of recent algebraic results concerning theories and models of the u...
In this paper we give an outline of recent results concerning theories and models of the untyped lam...
A quarter of century after Barendregt's main book, a wealth of interesting problems about models and...
AbstractThe variety (equational class) of lambda abstraction algebras was introduced to algebraize t...
Starting with the idea of reflexive objects in Selinger’s control categories, we define three differ...
An elementary, purely algebraic definition of model for the untyped lambda calculus is given. This d...
AbstractMany familiar models of the untyped lambda calculus are constructed by order-theoretic metho...
Many familiar models of the untyped lambda calculus are constructed by order theoretic methods. This...
Many familiar models of the untyped lambda calculus are constructed by order theoretic methods. This...
Answering a question by Honsell and Plotkin, we show that there are two equations between lambda ter...
AbstractThe variety (equational class) of lambda abstraction algebras was introduced to algebraize t...
In this paper we briefly summarize the contents of Manzonetto's PhD thesis which concerns denotation...
untyped lambda calculus was introduced around 1930 by Church [11] as part of an investigation in the...
In this paper we give an outline of recent algebraic results concerning theories and models of the u...
In this paper we give an outline of recent algebraic results concerning theories and models of the u...
In this paper we give an outline of recent algebraic results concerning theories and models of the u...
In this paper we give an outline of recent results concerning theories and models of the untyped lam...
A quarter of century after Barendregt's main book, a wealth of interesting problems about models and...
AbstractThe variety (equational class) of lambda abstraction algebras was introduced to algebraize t...
Starting with the idea of reflexive objects in Selinger’s control categories, we define three differ...
An elementary, purely algebraic definition of model for the untyped lambda calculus is given. This d...
AbstractMany familiar models of the untyped lambda calculus are constructed by order-theoretic metho...
Many familiar models of the untyped lambda calculus are constructed by order theoretic methods. This...
Many familiar models of the untyped lambda calculus are constructed by order theoretic methods. This...
Answering a question by Honsell and Plotkin, we show that there are two equations between lambda ter...
AbstractThe variety (equational class) of lambda abstraction algebras was introduced to algebraize t...