Login / Signup

Constructive Natural Deduction and its 'Omega-Set' Interpretation.

Giuseppe LongoEugenio Moggi
Published in: Math. Struct. Comput. Sci. (1991)
Keyphrases
  • small number
  • learning algorithm
  • probability distribution
  • input data
  • model checking