History
1
an:05922545
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Scalar system F for linear-algebraic $λ$-calculus: towards a quantum physical logic. (English)
Electron. Notes Theor. Comput. Sci. 270, No. 2, 219-229 (2011).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!