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