Models and theories of lambda calculus

Giulio Manzonetto 1, *
* Auteur correspondant
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).
Type de document :
Rapport
[Research Report] 2009
Liste complète des métadonnées

Littérature citée [51 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00380183
Contributeur : Giulio Manzonetto <>
Soumis le : jeudi 30 avril 2009 - 10:26:23
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : jeudi 10 juin 2010 - 22:26:08

Fichiers

PhdShort.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Collections

Citation

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

Partager

Métriques

Consultations de la notice

157

Téléchargements de fichiers

217