Models and theories of lambda calculus - Computer Science > Logic in Computer ScienceReportar como inadecuado




Models and theories of lambda calculus - Computer Science > Logic in Computer Science - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: In this paper we briefly summarize the contents of Manzonetto-s PhD thesiswhich concerns denotational semantics and equational-order theories of the pureuntyped lambda-calculus. The main research achievements include: i a generalconstruction of lambda-models from reflexive objects in possiblynon-well-pointed categories; ii a Stone-style representation theorem forcombinatory algebras; iii a proof that no effective lambda-model can havelambda-beta or lambda-beta-eta as its equational theory this can be seen as apartial answer to an open problem introduced by Honsell-Ronchi Della Rocca in1984.



Autor: Giulio Manzonetto INRIA Rocquencourt

Fuente: https://arxiv.org/







Documentos relacionados