16 citations · 62 across the 19 of their papers we have counts for
16 papers · 1 filter
A system of inference based on proof search: an extended abstract
Dale Miller
Gentzen designed his natural deduction proof system to ``come as close as possible to actual reasoning.'' Indeed, natural deduction proofs closely resemble the static structure of…
A Survey of the Proof-Theoretic Foundations of Logic Programming
Dale Miller
Several formal systems, such as resolution and minimal model semantics, provide a framework for logic programming. In this paper, we will survey the use of structural proof theory…
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Dale Miller, Ivan Scagnetto
This volume contains a selection of papers presented at LFMTP 2019, the 14th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on J…
A Proof Theory for Model Checking: An Extended Abstract
Quentin Heath, Dale Miller
While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory of sequent calculus proofs can be used to provide…
On the characterization of models of H*: The semantical aspect
Flavien Breuvart
We give a characterization, with respect to a large class of models of untyped lambda-calculus, of those models that are fully abstract for head-normalization, i.e., whose equation…
Proof Outlines as Proof Certificates: A System Description
Roberto Blanco, Dale Miller
We apply the foundational proof certificate (FPC) framework to the problem of designing high-level outlines of proofs. The FPC framework provides a means to formally define and che…