Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings

DOI10.1007/978-3-642-02273-9zbMath1165.03001arXiv0912.2349OpenAlexW4290007157MaRDI QIDQ1027645

Christine Tasson

Publication date: 30 June 2009

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

Full work available at URL: https://arxiv.org/abs/0912.2349

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Functional programming and lambda calculus (68N18) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Unnamed Item ⋮ An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ Transport of finiteness structures and applications ⋮ Generalized bounded linear logic and its categorical semantics ⋮ The vectorial \(\lambda\)-calculus

Cites Work

• Linear logic
• The system \({\mathcal F}\) of variable types, fifteen years later
• Glueing and orthogonality for models of linear logic
• Linear Läuchli semantics
• Quadratische Formen und lineare Topologien. III: Tensorprodukte linearer Topologien
• Localisation and interaction in one dimension
• On Linear Combinations of λ-Terms
• Finiteness spaces
• Produits tensoriels topologiques et espaces nucléaires
• Unnamed Item
• Unnamed Item

This page was built for publication: Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings