research
∙
11/06/2020
Automatic Differentiation in PCF
We study the correctness of automatic differentiation (AD) in the contex...
share
research
∙
04/27/2020
The Benefit of Being Non-Lazy in Probabilistic λ-calculus
We consider the probabilistic applicative bisimilarity (PAB), a coinduct...
research
∙
09/27/2019
Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
Backpropagation is a classic automatic differentiation algorithm computi...
research
∙
04/21/2019
Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems
This volume contains a final and revised selection of papers presented a...
research
∙
09/07/2018
Revisiting Call-by-value Bohm trees in light of their Taylor expansion
The call-by-value lambda calculus can be endowed with permutation rules,...
research
∙
11/27/2017