A Concurrent Logical Framework: The Propositional Fragment

This publication has 25 references indexed in Scilit:

• A Modular Hierarchy of Logical Frameworks
  Lecture Notes in Computer Science, 2004
• Linear logic, monads and the lambda calculus
  2002
• A Linear Logical Framework
  Information and Computation, 2002
• Typed MSR: Syntax and Examples
  Lecture Notes in Computer Science, 2001
• Zero-Safe Nets: Comparing the Collective and Individual Token Approaches
  Information and Computation, 2000
• On the π-calculus and linear logic
  Theoretical Computer Science, 1994
• Logic Programming in a Fragment of Intuitionistic Linear Logic
  Information and Computation, 1994
• A framework for defining logics
  Journal of the ACM, 1993
• Logic Programming with Focusing Proofs in Linear Logic
  Journal of Logic and Computation, 1992
• MULTILISP: a language for concurrent symbolic computation
  ACM Transactions on Programming Languages and Systems, 1985