| Publication | Date of Publication | Type |
|---|
| Automated analysis of accountability | 2022-11-02 | Paper |
| Security protocols as choreographies | 2022-07-13 | Paper |
| scientific article; zbMATH DE number 6851955 (Why is no real title available?) | 2018-03-21 | Paper |
Choreographies, logically
Distributed Computing | 2018-02-23 | Paper |
| scientific article; zbMATH DE number 6774227 (Why is no real title available?) | 2017-09-12 | Paper |
Multiparty session types as coherence proofs
Acta Informatica | 2017-06-14 | Paper |
A contextual logical framework
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Choreographies, logically
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
A meta linear logical framework
Electronic Notes in Theoretical Computer Science | 2014-01-10 | Paper |
| Logical semantics for the rewriting calculus | 2013-09-25 | Paper |
| Towards proof planning for \(\mathcal{M}_{\omega}^+\) | 2013-08-19 | Paper |
A representation of \(F_{\omega}\) in LF
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Analysing vote counting algorithms via logic. And its application to the CADE election scheme
Automated Deduction – CADE-24 | 2013-06-14 | Paper |
Truthful Monadic Abstractions
Automated Reasoning | 2012-09-05 | Paper |
| A type-theoretic approach to induction with higher-order encodings | 2011-05-06 | Paper |
Focused natural deduction
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus
Automated Reasoning | 2010-09-14 | Paper |
A coverage checking algorithm for LF
Lecture Notes in Computer Science | 2010-05-07 | Paper |
| Disproving false conjectures | 2010-02-24 | Paper |
The Twelf Proof Assistant
Lecture Notes in Computer Science | 2009-10-20 | Paper |
Lexicographic Path Induction
Lecture Notes in Computer Science | 2009-07-07 | Paper |
Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)
Automated Reasoning | 2008-11-27 | Paper |
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Practical Programming with Higher-Order Encodings and Dependent Types
Programming Languages and Systems | 2008-04-11 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Typed Lambda Calculi and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 2185713 (Why is no real title available?) | 2005-07-04 | Paper |
| scientific article; zbMATH DE number 1841845 (Why is no real title available?) | 2002-12-04 | Paper |
Primitive recursion for higher-order abstract syntax
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1420794 (Why is no real title available?) | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1303348 (Why is no real title available?) | 1999-11-07 | Paper |
| scientific article; zbMATH DE number 1231700 (Why is no real title available?) | 1999-01-10 | Paper |
