|
12
|
A Notation for Lambda Terms II: Refinements and Applications
– Gopalan Nadathur
- 1994
|
|
22
|
A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations
– Gopalan Nadathur
- 1996
|
|
203
|
A Linear Logical Framework
– Iliano Cervesato, Frank Pfenning
- 1996
|
|
20
|
Encoding Dependent Types in an Intuitionistic Logic
– Amy Felty
- 1991
|
|
16
|
Higher Order Logic
– Daniel Leivant
- 1994
|
|
3
|
Object-Level Substitution, Unification And Generalization In Meta-Logic
– Chuck C. Liang
- 1995
|
|
14
|
Implementation Considerations for Higher-Order Features in Logic Programming
– Gopalan Nadathur, Bharat Jayaraman, Debra Sue Wilson
- 1993
|
|
78
|
Automating the Meta Theory of Deductive Systems
– Carsten Schurmann, Dana Scott
- 2000
|
|
16
|
Higher-order Unification with Dependent Function Types
– Conal M. Elliott
- 1989
|
|
10
|
Elimination of Negation in a Logical Framework
– Alberto Momigliano
- 2000
|
|
145
|
Higher-order logic programming
– Gopalan Nadathur, Dale Miller
|
|
3
|
A Treatment of Higher-Order Features in Logic Programming
– Gopalan Nadathur
- 2003
|
|
9
|
Program Development Schemata as Derived Rules
– Penny Anderson, David Basin
- 2000
|
|
|
FOR THE
– Andrew Jude Gacek, Gopalan Nadathur, Andrew Jude Gacek, Gopalan Nadathur Advisor
- 2006
|
|
13
|
The Ergo Support System: An integrated set of tools for prototyping integrated environments
– Peter Lee, Frank Pfenning, Gene Rollins, William Scherlis
- 1988
|
|
56
|
Unification and Anti-Unification in the Calculus of Constructions
– Frank Pfenning
- 1991
|
|
25
|
Tabled Higher-Order Logic Programming
– Brigitte Pientka
- 2003
|
|
|
Meta-Programming With Intensional Analysis
– Tim Sheard, Zine El-abidine Benaissa
|
|
|
Higher-order syntax with induction in Coq
– Andre Hirschowitz, Joelle Despeyroux, Joelle Despeyroux
|
