Skip to Main content Skip to Navigation
New interface
Reports (Research report)

Models and theories of lambda calculus

Giulio Manzonetto 1, * 
* Corresponding author
Abstract : In 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).
Document type :
Reports (Research report)
Complete list of metadata

Cited literature [51 references]  Display  Hide  Download
Contributor : Giulio Manzonetto Connect in order to contact the contributor
Submitted on : Thursday, April 30, 2009 - 10:26:23 AM
Last modification on : Wednesday, October 26, 2022 - 8:16:34 AM
Long-term archiving on: : Thursday, June 10, 2010 - 10:26:08 PM


Files produced by the author(s)


  • HAL Id : inria-00380183, version 1
  • ARXIV : 0904.4756



Giulio Manzonetto. Models and theories of lambda calculus. [Research Report] 2009. ⟨inria-00380183⟩



Record views


Files downloads