Login / Signup

Computational and Concurrency Models of Linear Logic.

Max I. Kanovich
Published in: LFCS (1994)
Keyphrases
  • linear logic
  • computational models
  • video sequences
  • probabilistic model