A Notation for Lambda Terms I: A Generalization of Environments (1994)

Cached

Download Links

by Gopalan Nadathur , Debra Sue Wilson
Venue:THEORETICAL COMPUTER SCIENCE
Citations:33 - 12 self

Active Bibliography

12 A Notation for Lambda Terms II: Refinements and Applications – Gopalan Nadathur - 1994
25 A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations – Gopalan Nadathur - 1996
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
20 Encoding Dependent Types in an Intuitionistic Logic – Amy Felty - 1991
18 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
80 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000
17 Higher-order Unification with Dependent Function Types – Conal M. Elliott - 1989
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
153 Higher-order logic programming – Gopalan Nadathur, Dale Miller
4 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
14 The Ergo Support System: An integrated set of tools for prototyping integrated environments – Peter Lee, Frank Pfenning, Gene Rollins, William Scherlis - 1988
61 Unification and Anti-Unification in the Calculus of Constructions – Frank Pfenning - 1991
26 Tabled Higher-Order Logic Programming – Brigitte Pientka - 2003
Meta-Programming With Intensional Analysis – Tim Sheard, Zine El-abidine Benaissa
22 Higher-order abstract syntax with induction in Coq – Joelle Despeyroux, Andre Hirschowitz - 1994