From petri nets to linear logic

This publication has 13 references indexed in Scilit:

• The linear abstract machine
  Theoretical Computer Science, 1988
• Linear logic and parallelism
  Published by Springer Nature ,1987
• Linear logic
  Theoretical Computer Science, 1987
• Petri Nets
  Published by Springer Nature ,1985
• Why commutative diagrams coincide with equivalent proofs
  Contemporary Mathematics, 1982
• System modelling with high-level Petri nets
  Theoretical Computer Science, 1981
• Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic
  Lecture Notes in Mathematics, 1972
• Adjointness in Foundations
  Dialectica, 1969
• Deductive systems and categories II. Standard constructions and closed categories
  Lecture Notes in Mathematics, 1969
• Deductive systems and categories
  Theory of Computing Systems, 1968