Boolean-valued Semantics for Stochastic Lambda-Calculus

  • Radu Mardare (Speaker)

Activity: Talk or presentation types › Invited talk

Period22 Feb 2018
Event titleProbabilistic Interactive and Higher-Order Computation
Event typeWorkshop
LocationBologna, ItalyShow on map
Degree of RecognitionInternational

Documents & Links