Forum: A multiple-conclusion specification logic

This publication has 14 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Logic Programming in a Fragment of Intuitionistic Linear Logic
  Information and Computation, 1994
• Extended natural semantics
  Journal of Functional Programming, 1993
• On the unity of logic
  Annals of Pure and Applied Logic, 1993
• A framework for defining logics
  Journal of the ACM, 1993
• Logic Programming with Focusing Proofs in Linear Logic
  Journal of Logic and Computation, 1992
• Linear objects: Logical processes with built-in inheritance
  New Generation Computing, 1991
• A logical analysis of modules in logic programming
  The Journal of Logic Programming, 1989
• Linear logic
  Theoretical Computer Science, 1987
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940