coherence-spaces

linear logic semantics

// repository documentation