Login / Signup

Lambda Calculus and Probabilistic Computation.

Claudia FaggianSimona Ronchi Della Rocca
Published in: LICS (2019)
Keyphrases
  • lambda calculus
  • programming language
  • higher order
  • complex objects
  • database query languages
  • general purpose
  • efficient computation
  • pairwise