Locally Nameless Sigma Calculusby Ludovic Henrio, Florian Kammüller, Bianca Lutz and Henry Sudhof30 Apr