| Publication | Date of Publication | Type |
|---|
Towards substructural property-based testing
Logic-Based Program Synthesis and Transformation | 2023-05-08 | Paper |
Towards substructural property-based testing
Logic-Based Program Synthesis and Transformation | 2023-05-08 | Paper |
POPLMark reloaded: mechanizing proofs by logical relations
Journal of Functional Programming | 2020-05-26 | Paper |
A case study in programming coinductive proofs: Howe's method
Mathematical Structures in Computer Science | 2019-10-09 | Paper |
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
Mathematical Structures in Computer Science | 2018-10-19 | Paper |
From Constructivism to Logic Programming: an Homage to Mario Ornaghi
Fundamenta Informaticae | 2018-10-02 | Paper |
αCheck: A mechanized metatheory model checker
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Higher-order pattern complement and the strict \(\lambda\)-calculus
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
A semantical analysis of focusing and contraction in intuitionistic logic
Fundamenta Informaticae | 2016-08-15 | Paper |
The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey
Journal of Automated Reasoning | 2016-05-26 | Paper |
| Two-level hybrid: a system for reasoning using higher-order abstract syntax | 2014-01-10 | Paper |
| A hybrid encoding of Howe's method for establishing congruence of bisimilarity | 2013-08-19 | Paper |
Cut elimination for a logic with induction and co-induction
Journal of Applied Logic | 2013-05-02 | Paper |
Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
Journal of Automated Reasoning | 2012-07-31 | Paper |
Proof-theoretic and higher-order extensions of logic programming
Lecture Notes in Computer Science | 2010-07-20 | Paper |
Towards a Type Discipline for Answer Set Programming
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Snapshot Generation in a Constructive Object-Oriented Modeling Language
Logic-Based Program Synthesis and Transformation | 2009-01-22 | Paper |
Constructive Specifications for Compositional Units
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
A program logic for resources
Theoretical Computer Science | 2007-12-14 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science | 2005-08-18 | Paper |
| scientific article; zbMATH DE number 1956525 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1927412 (Why is no real title available?) | 2003-06-12 | Paper |
Regular search spaces and constructive negation
Journal Of Logic And Computation | 1997-07-17 | Paper |
