- Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs David Baelde Amina Doumane Denis Kuperberg Alexis Saurin Mon 29 August 2022
- Cyclic Proofs, System t, and the Power of Contraction Denis Kuperberg Laureline Pinault Damien Pous Tue 05 January 2021
- Linearity in Higher-order Recursion Schemes Pierre Clairambault Charles Grellois Andrzej S. Murawski Sat 30 June 2018
- LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic Pierre Pradic Colin Riba Mon 02 April 2018
- The Decidability of the Intensional Fragment of Classical Linear Logic Katalin Bimbó Wed 31 August 2016
- Exponentials with Infinite Multiplicities Alberto Carraro Thomas Ehrhard Antonino Salibra Thu 10 September 2015
- Linear Dependent Types for Differential Privacy Marco Gaboardi Andreas Haeberlen Justin Hsu Arjun Narayan Benjamin C. Pierce Thu 10 September 2015
- An Abstract Machine Based on Linear Logic and Exiplicit Substitutions Francisco J. Alberti Tue 07 January 2014
- The Scott model of linear logic is the extensional collapse of its relational model Thomas Ehrhard Mon 24 June 2013
- Categorical Semantics of Linear Logic Paul-André Melliès Mon 24 June 2013
- Category Theory for Linear Logicians Richard Blute Philip Scott Mon 24 June 2013
- Propositions as Sessions Philip Wadler Wed 02 May 2012
Library Size: 13G (12 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
