Simona Ronchi Della Rocca: A foundational lambda calculus for probabilistic computation (FSCD A)
Channel: IJCAR-FSCD 2020
Date: 12/07/2020

Invited talk.


Aired: 2020-02-02 13:00:00 CEST (UTC+2)