Efficient resource management for linear logic proof search

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations

Fiftieth volume of theoretical computer science

Maurice Nivat · Theoretical Computer Science · 1988 · 1.3K citations

Computing, Computer Science, Mathematics +7

Uniform proofs as a foundation for logic programming

Dale Miller, Gopalan Nadathur, Frank Pfenning et al. · Annals of Pure and Applied Logic · 1991 · 576 citations

Computing, Computer Science, Logic +16

Logic Programming in a Fragment of Intuitionistic Linear Logic

Joshua S. Hodas, Dale Miller · Information and Computation · 1994 · 395 citations · Full text

Computing, Computer Science, Mathematics +12

A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

Dale Miller · Journal of Logic and Computation · 1991 · 372 citations

Computing, Computer Science, Logic +13