Login / Signup

Glueing and orthogonality for models of linear logic.

Martin HylandAndrea Schalk
Published in: Theor. Comput. Sci. (2003)
Keyphrases
  • linear logic
  • probabilistic model
  • object oriented
  • finite state machines