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...
| Auteur principal: | |
|---|---|
| Format: | Journal article |
| Langue: | English |
| Publié: |
2007
|
| Sujets: |