Login / Signup

Mackey-complete spaces and power series - a topological model of differential linear logic.

Marie KerjeanChristine Tasson
Published in: Math. Struct. Comput. Sci. (2018)
Keyphrases
  • linear logic
  • power consumption
  • high level
  • probabilistic model
  • probability distribution