Login / Signup

Fully Abstract Models of the Probabilistic lambda-calculus.

Pierre ClairambaultHugo Paquet
Published in: CSL (2018)
Keyphrases
  • lambda calculus
  • probabilistic model
  • database
  • relational databases
  • object oriented databases