research
∙
02/02/2023
A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
The extensive deployment of probabilistic algorithms has radically chang...
research
∙
07/08/2019
8523 means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs
Along the lines of the Abramsky "Proofs-as-Processes" program, we presen...
research
∙
02/11/2019