Linear-algebraic lambda-calculus

Preprint English OPEN
Arrighi , Pablo; Dowek , Gilles;
(2005)
  • Publisher: HAL CCSD
  • Subject: [ PHYS.QPHY ] Physics [physics]/Quantum Physics [quant-ph] | Quantum Physics
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
    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 http://www.lix.polytechnique.fr/~dowek/Prog/lineal.html; With a view towards models of quantum computation and/or the interpretation of linear logic, ... View more
Share - Bookmark