Event domains, stable functions and proof-nets
<p>We pursue the program of exposing the intrinsic mathematical structure of the &apos;&apos;space of proofs&apos;&apos; of a logical system [S. Abramsky and R. Jagadeesan. Games and Full Completeness for Multiplicative Linear Logic, <em>Journal of Symboli...
Main Author: | |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2007
|
Subjects: |