Locally Nameless Sigma Calculus by Ludovic Henrio, Florian Kammüller, Bianca Lutz and Henry Sudhof Apr 30