Proof net semantics of proof search computation

This publication has 12 references indexed in Scilit:

• Higher dimensional transition systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Forum: A multiple-conclusion specification logic
  Theoretical Computer Science, 1996
• A language for the logical specification of processes and relations
  Published by Springer Nature ,1996
• Causal dependencies in multiplicative linear logic with MIX
  Mathematical Structures in Computer Science, 1995
• Empires and kingdoms in MLL^-
  Published by Cambridge University Press (CUP) ,1995
• Asynchronous communication model based on linear logic
  Formal Aspects of Computing, 1995
• On the π-calculus and linear logic
  Theoretical Computer Science, 1994
• Logic Programming with Focusing Proofs in Linear Logic
  Journal of Logic and Computation, 1992
• Uniform proofs as a foundation for logic programming
  Annals of Pure and Applied Logic, 1991
• The structure of multiplicatives
  Archive for Mathematical Logic, 1989