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
Complete list of metadatas

Cited literature [51 references]  Display  Hide  Download

https://hal.inria.fr/inria-00380183
Contributor : Giulio Manzonetto <>
Submitted on : Thursday, April 30, 2009 - 10:26:23 AM
Last modification on : Friday, May 25, 2018 - 12:02:03 PM
Long-term archiving on : Thursday, June 10, 2010 - 10:26:08 PM

Files

PhdShort.pdf
Files produced by the author(s)

Identifiers

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

Collections

Citation

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

Share

Metrics

Record views

175

Files downloads

253