Active Bibliography

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