Login / Signup

Holomorhpic Models of Exponential Types in Linear Logic.

Richard BluteRobert A. G. SeelyPrakash Panangaden
Published in: MFPS (1993)
Keyphrases
  • linear logic
  • probabilistic model
  • machine learning
  • database systems
  • fixed point