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...
| Autor principal: | |
|---|---|
| Format: | Journal article |
| Idioma: | English |
| Publicat: |
2007
|
| Matèries: |