On Linear Combinations of λ-Terms

DOI10.1007/978-3-540-73449-9_28zbMath1203.03021OpenAlexW43937459MaRDI QIDQ5432352

Lionel Vaux

Publication date: 2 January 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73449-9_28

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (6)

Unnamed Item ⋮ Unnamed Item ⋮ Linear-algebraic λ-calculus: higher-order, encodings, and confluence. ⋮ Intuitionistic differential nets and lambda-calculus ⋮ Probabilistic coherence spaces as a model of higher-order probabilistic computation ⋮ Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings

This page was built for publication: On Linear Combinations of λ-Terms