Coherent and finiteness spaces

Details Coherent and finiteness spaces Coherent and finiteness spaces

2009-05-25

arxiv.org/abs/0905.4059v5

LMCS 7 (3:15) 2011

Computer Science

Logic in Computer Science

short note

Scientific paper

10.2168/LMCS-7(3:15)2011

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.

Affiliated with

Also associated with

No associations

Rating

Coherent and finiteness spaces does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Coherent and finiteness spaces, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Coherent and finiteness spaces will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-294838