Transport of finiteness structures and applications

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...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2016-12
Main Authors: Tasson, Christine, Vaux, Lionel
Format: Article
Language:English
Subjects:
Connectors
Semantics
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2331-8422
DOI:10.48550/arxiv.1004.3655