Login / Signup

Hypercoherences: A Strongly Stable Model of Linear Logic.

Thomas Ehrhard
Published in: Math. Struct. Comput. Sci. (1993)
Keyphrases
  • high level
  • video sequences
  • linear logic
  • expert systems
  • probabilistic model
  • higher order
  • theoretical framework
  • theorem proving