Practical higher-order pattern unification with on-the-fly raising (2005)

Cached

Download Links

by Gopalan Nadathur , Natalie Linnell
Venue:In ICLP 2005: 21st International Logic Programming Conference, volume 3668 of LNCS
Citations:8 - 4 self

Documents Related by Co-Citation

61 A Proof Theory for Generic Judgments – Dale Miller, Alwen Tiu - 2003
28 Abstract syntax for variable binders: An overview – D Miller
33 A Logical Framework For Reasoning About Logical Specifications – Alwen F. Tiu, Padma Raghavan, Stephen Simpson, Frank Pfenning, Raj Acharya - 2004
374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
90 Reasoning with higher-order abstract syntax in a logical framework – Raymond C. Mcdowell, Dale A. Miller - 2002
99 An Overview of λProlog – Gopalan Nadathur, Dale Miller - 1988
291 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
61 Functional unification of higher-order patterns – T Nipkow - 1993
40 A fixpoint theorem in linear logic. An email posting to the mailing list linear@cs.stanford.edu – J-Y Girard - 1992
15 Model checking for π-calculus using proof search – Alwen Tiu - 2005
57 Rules of definitional reflection – Peter Schroeder-heister, Universität Tübingen - 1993
34 System description: Teyjus—A compiler and abstract machine based implementation of λProlog – G Nadathur, D J Mitchell - 1999
35 Least and greatest fixed points in linear logic Extended Version – David Baelde, Dale Miller - 2007
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
14 Mixing finite success and finite failure in an automated prover – Alwen Tiu, Gopalan Nadathur, Dale Miller - 2005
114 A unification algorithm for typed λ-calculus – G Huet - 1975
21 A Proof Search Specification of the π-Calculus – Alwen Tiu, Dale Miller - 2004
105 Modal logics for mobile processes – Robin Milner, Joachim Parrow Y, David Walker Z - 1993
315 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999