Transport of finiteness structures and applicationsReportar como inadecuado

Transport of finiteness structures and applications - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 PPS - Preuves, Programmes et Systèmes 2 I2M - Institut de Mathématiques de Marseille

Abstract : We describe a general construction of finiteness spaces which subsumes the interpretations of all positive connectors of linear logic. We then show how to apply this construction to prove the existence of least fixpoints for particular functors in the category of finiteness spaces: these include the functors involved in a relational interpretation of lazy recursive algebraic datatypes along the lines of the coherence semantics of system T.

Keywords : denotational semantics lambda-calculus algebraic data types

Autor: Christine Tasson - Lionel Vaux -



Documentos relacionados