research
∙
10/23/2020
Intersection Types and (Positive) Almost-Sure Termination
Randomized higher-order computation can be seen as being captured by a l...
research
∙
01/09/2019
Lambda Calculus and Probabilistic Computation
We introduce two extensions of λ-calculus with a probabilistic choice op...
research
∙
12/14/2018
Observability = Typability + Inhabitation
We define an observability property for a calculus with pattern matching...
research
∙
12/11/2017