Higher-order logic programming

by Gopalan Nadathur , Dale Miller
Venue:HANDBOOK OF LOGIC IN AI AND LOGIC PROGRAMMING, VOLUME 5: LOGIC PROGRAMMING. OXFORD (1998
Citations:158 - 18 self

Active Bibliography

320 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
604 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
410 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
1228 Proof-Carrying Code – George C. Necula - 1997
897 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
Higher-Order Logic as the Basis for Logic Programming – Higher-order Horn Clauses, Gopalan Nadathur, Gopalan Nadathur, Dale Miller - 1989
755 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
966 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991