Computational Interpretations of Classical Linear Logic

DOI10.1007/978-3-540-73445-1_20zbMath1213.03074OpenAlexW2162395440MaRDI QIDQ3612668

Paulo Oliva

Publication date: 10 March 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73445-1_20

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (5)

A parametrised functional interpretation of Heyting arithmetic ⋮ Light Dialectica revisited ⋮ Proof interpretations with truth ⋮ Functional Interpretations of Intuitionistic Linear Logic ⋮ THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING

This page was built for publication: Computational Interpretations of Classical Linear Logic