Linear-algebraic lambda-calculus

Preprint English OPEN
Arrighi , Pablo; Dowek , Gilles;
  • Publisher: HAL CCSD
  • Subject: [ PHYS.QPHY ] Physics [physics]/Quantum Physics [quant-ph] | Quantum Physics
    arxiv: Computer Science::Logic in Computer Science

LaTeX, 23 pages, 10 figures and the LINEAL language interpreter/simulator file (see "other formats"). Also available at; With a view towards models of quantum computation and/or the interpretation of linear logic, ... View more
Share - Bookmark