Author of the publication

Substructural Proofs as Automata.

, and . APLAS, volume 10017 of Lecture Notes in Computer Science, page 3-22. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization., and . ML, page 447-449. Morgan Kaufmann, (1989)A Modal Analysis of Staged Computation., and . POPL, page 258-270. ACM Press, (1996)Natural Semantics and Some of Its Meta-Theory in Elf., and . ELP, volume 596 of Lecture Notes in Computer Science, page 299-344. Springer, (1991)Functions as Session-Typed Processes., , and . FoSSaCS, volume 7213 of Lecture Notes in Computer Science, page 346-360. Springer, (2012)Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk).. APLAS, volume 3302 of Lecture Notes in Computer Science, page 196. Springer, (2004)Natural Deduction for Intuitionistic Non-communicative Linear Logic., and . TLCA, volume 1581 of Lecture Notes in Computer Science, page 295-309. Springer, (1999)Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic., and . LPAR, volume 5330 of Lecture Notes in Computer Science, page 174-181. Springer, (2008)System Description: Twelf - A Meta-Logical Framework for Deductive Systems., and . CADE, volume 1632 of Lecture Notes in Computer Science, page 202-206. Springer, (1999)Reasoning About Deductions in Linear Logic (Abstract of Invited Talk).. CADE, volume 1421 of Lecture Notes in Computer Science, page 1-2. Springer, (1998)Single Axioms in the Implicational Propositional Calculus.. CADE, volume 310 of Lecture Notes in Computer Science, page 710-713. Springer, (1988)