A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus

Conference object, Article, Preprint English OPEN
Arrighi, Pablo; Díaz-Caro, Alejandro; Valiron, Benoît;
(2011)
  • Publisher: Open Publishing Association
  • Journal: Electronic Proceedings in Theoretical Computer Science (issn: 2075-2180)
  • Publisher copyright policies & self-archiving
  • Related identifiers: doi: 10.4204/EPTCS.88.1
  • Subject: [ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO] | [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] | Mathematics | Electronic computers. Computer science | Computer Science - Logic in Computer Science | QA1-939 | QA75.5-76.95

In Proceedings DCM 2011, arXiv:1207.6821; International audience; We describe a type system for the linear-algebraic lambda-calculus. The type system accounts for the part of the language emulating linear operators and vectors, i.e. it is able to statically describe the... View more
Share - Bookmark