Metalogical Frameworks (1992)

by David A. Basin , Robert L. Constable , Im Stadtwald
Citations:57 - 15 self

Documents Related by Co-Citation

696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
102 Metafunctions: proving them correct and using them efficiently as new proof procedures – Robert S Boyer, J Strother Moore - 1981
422 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
153 Prolegomena to a theory of mechanized formal reasoning – R W Weyhrauch - 1980
83 Using Typed Lambda Calculus to Implement Formal Systems on a Machine – Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack - 1992
66 Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language – Amy Felty - 1993
42 Proof Theoretic Approach To Specification Languages – Jawahar Lal Chirimar - 1995
16 Experience with FS 0 as a framework theory – Sean Matthews, Alan Smaill, David Basin - 1993
90 A survey of the project AUTOMATH – N de Bruijn - 1980
123 Primitive Recursion for Higher-Order Abstract Syntax – JoĆ«lle Despeyroux, Frank Pfenning - 1997
70 Specifying theorem provers in a higherorder logic programming language – Amy Felty, Dale Miller - 1988
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
57 A framework for de logics – H Harper, F Honsell, G Plotkin - 1993
175 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
9 Tactics and Tacticals in Cambridge LCF – L Paulson - 1979
854 A formulation of the simple theory of types – Alonzo Church - 1940
25 The GETFOL Manual - GETFOL version 1 – F Giunchiglia - 1992
5 HGKM Manual - a revised version – F Giunchiglia, A Cimatti - 1989