Author:
Espírito Santo José,Matthes Ralph,Nakazawa Koji,Pinto Luís
Publisher
Open Publishing Association
Reference15 articles.
1. The duality of computation;Curien,2000
2. The Duality of Computation under Focus;Curien,2010
3. A New Deconstructive Logic: Linear Logic;Danos;J. Symb. Log.,1997
4. Z, Proving Confluence by Monotonic Single-Step Upperbound Functions;Dehornoy,2008
5. Monadic translation of classical sequent calculi;Espírito Santo;Mathematical Structures in Computer Science,2013