Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Computing, Computer Science, Formal Methods +16

A Framework for Defining Logics

Institutional Research Information System (University of Udine) · 1993 · 975 citations

Computing, Computer Science, Formal Methods +16

Higher-order abstract syntax

Frank Pfenning, Conal Elliott · ACM SIGPLAN Notices · 1988 · 587 citations · Full text

Computing, Computer Science, Formal Methods +10

A New Approach to Abstract Syntax with Variable Binding

Murdoch J. Gabbay, Andrew M. Pitts · Formal Aspects of Computing · 2002 · 547 citations · Full text

Computing, Computer Science, Formal Methods +11

Natural Semantics

Gilles Kahn · Symposium on Theoretical Aspects of Computer Science · 1987 · 523 citations