Pierre Hyvernat - Coherent and finiteness spaces

lmcs:1131 - Logical Methods in Computer Science, September 22, 2011, Volume 7, Issue 3 - https://doi.org/10.2168/LMCS-7(3:15)2011
Coherent and finiteness spacesArticle

Authors: Pierre Hyvernat

    This short note presents a new relation between coherent spaces and finiteness spaces. This takes the form of a functor from COH to FIN commuting with the additive and multiplicative structure of linear logic. What makes this correspondence possible and conceptually interesting is the use of the infinite Ramsey theorem. Along the way, the question of the cardinality of the collection of finiteness spaces on N is answered. Basic knowledge about coherent spaces and finiteness spaces is assumed.


    Volume: Volume 7, Issue 3
    Published on: September 22, 2011
    Imported on: February 3, 2011
    Keywords: Computer Science - Logic in Computer Science,Mathematics - Logic,F.4.1, F.3.2
    Funding:
      Source : OpenAIRE Graph
    • Curry-Howard pour la concurrence; Funder: French National Research Agency (ANR); Code: ANR-07-BLAN-0324

    Consultation statistics

    This page has been seen 968 times.
    This article's PDF has been downloaded 339 times.