854

A formulation of the simple theory of types
– Alonzo Church
 1940

374

Uniform proofs as a foundation for logic programming
– Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov
 1991

33

A HigherOrder Logic as the Basis for Logic Programming
– G Nadathur
 1987

147

A logical analysis of modules in logic programming
– Dale Miller
 1989

696

A Framework for Defining Logics
– Robert Harper , Furio Honsell, Gordon Plotkin
 1993

291

A logic programming language with lambdaabstraction, function variables, and simple unification
– Dale Miller
 1990

708

The Semantics of Predicate Logic as a Programming Language
– M. H. Van Emden, R. A. Kowalski
 1976

70

Specifying theorem provers in a higherorder logic programming language
– Amy Felty, Dale Miller
 1988

66

Implementing Tactics and Tacticals in a HigherOrder Logic Programming Language
– Amy Felty
 1993

176

An overview of prolog
– D Miller, G Nadathur
 1988

14

NUProlog reference manual, version 1.3
– J A Thom, J A Zobel
 1988

99

An Overview of λProlog
– Gopalan Nadathur, Dale Miller
 1988

302

Higherorder abstract syntax
– F Pfenning, C Elliott
 1988

64

Lexical scoping as universal quantification
– Dale Miller
 1989

336

The Integration of Functions into Logic Programming: From Theory to Practice
– Michael Hanus
 1994

169

A unification algorithm for typed calculus
– G Huet
 1975

616

Light Linear Logic
– Jeanyves Girard

77

Elf: A Language for Logic Definition and Verified Metaprogramming
– Frank Pfenning
 1989

184

Isabelle: The next 700 theorem provers
– L C Paulson
 1990
