Login / Signup

Building Models of Linear Logic.

Valeria de PaivaAndrea Schalk
Published in: AMAST (1998)
Keyphrases
  • linear logic
  • decision making