Active Bibliography

385 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
295 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
274 A New Efficient Algorithm for Computing Gröbner Bases (F4) – Jean-charles Faugère - 2002
251 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
222 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
226 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
200 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
193 Fresh Logic – Murdoch J. Gabbay, Aad Mathijssen - 2007
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller