Author of the publication

A focused framework for emulating modal proof systems.

, , and . Advances in Modal Logic, page 469-488. College Publications, (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

Logical Foundations for Open System Design.. ACM Comput. Surv., 28 (4es): 48 (1996)A Meta-Logic for Functional Programming., and . META, page 453-476. MIT Press, (1988)Well-Typed Languages are Sound., , and . CoRR, (2016)Programming with Higher-Order Logic., and . Cambridge University Press, (2012)A two-level logic approach to reasoning about computations, , and . CoRR, (2009)Uses of Higher-Order Unification for Implementing Program Transformers., and . ICLP/SLP, page 942-959. MIT Press, (1988)A Proof Theory for Model Checking., and . J. Autom. Reason., 63 (4): 857-885 (2019)From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic., and . CSL, volume 4646 of Lecture Notes in Computer Science, page 405-419. Springer, (2007)Functions-as-constructors higher-order unification: extended pattern unification., and . Ann. Math. Artif. Intell., 90 (5): 455-479 (2022)A Positive Perspective on Term Representation (Invited Talk)., and . CSL, volume 252 of LIPIcs, page 3:1-3:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)