Simply-typed Differential and Resource Lambda-Calculus
Master Thesis at University of Oxford, United Kingdom
Master Thesis at University of Oxford, United Kingdom
2nd Workshop on Probabilistic Interactive and Higher-Order Computation at University of Bologna, Italy