A System F accounting for scalars

Article, Preprint English OPEN
Arrighi, Pablo; Diaz-Caro, Alejandro;
(2012)
  • Publisher: Logical Methods in Computer Science Association
  • Related identifiers: doi: 10.2168/LMCS-8(1:11)2012
  • Subject: barycentric calculus | type theory | Computer Science - Logic in Computer Science | ACM : F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic | [ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO] | Computer Science - Programming Languages | [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] | ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic | linear-algebraic -calculus | F.4.1 | Quantum Physics
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS

An extended abstract of an earlier version of this paper has appeared in [ADC11]; International audience; The Algebraic lambda-calculus and the Linear-Algebraic lambda-calculus extend the lambda-calculus with the possibility of making arbitrary linear combinations of te... View more
Share - Bookmark