Extending definite clause grammars with scoping constructs (1990)

by Remo Pareschi , Dale Miller
Venue:7th Int. Conf. Logic Programming
Citations:27 - 5 self

Documents Related by Co-Citation

385 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
307 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
67 Lexical scoping as universal quantification – Dale Miller - 1989
879 A formulation of the simple theory of types – A Church - 1940
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
153 A logical analysis of modules in logic programming. The – Dale Miller - 1989
669 Light Linear Logic – Jean-yves Girard
985 A theory of type polymorphism in programming – Robin Milner - 1978
176 An overview of Prolog – D Miller, G Nadathur - 1988