History
1
an:70931458
1


Please fill in your query. A complete syntax description you will find on the General Help page.
A characterization of hypercoherent semantic correctness in multiplicative additive linear logic (English)
CSL, 246-261 (2008).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!