"An error-tolerant type system for variational lambda calculus."

Sheng Chen, Martin Erwig, Eric Walkingshaw (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics