Controlling Program Extraction in Light Logics

DOI10.1007/978-3-642-21691-6_12zbMath1331.03028OpenAlexW49007063MaRDI QIDQ3007661

Marc Lasson

Publication date: 17 June 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-21691-6_12

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Type inference for light affine logic via constraints on words
• The Girard-Reynolds isomorphism (second edition)
• Light linear logic
• Realizability and Parametricity in Pure Type Systems
• Intuitionistic Light Affine Logic

This page was built for publication: Controlling Program Extraction in Light Logics