×

Found 3 Documents (Results 1–3)

Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic. (English) Zbl 1347.03019

Coecke, Bob (ed.) et al., Proceedings of the 6th international workshop on quantum physics and logic (QPL 2009), Oxford, UK, April 8–9, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 270, No. 2, 219-229 (2011).
MSC:  03B40 81P10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software