Edit Profile (opens in new tab) Py, Walter Co-Author Distance Author ID: py.walter Published as: Py, Walter Documents Indexed: 1 Publication since 2001 Co-Authors: 1 Co-Author with 1 Joint Publication 20 Co-Co-Authors Co-Authors 0 single-authored 1 David, Rene Serials 1 The Journal of Symbolic Logic Fields 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1 Publications have been cited 13 times in 13 Documents Cited by ▼ Year ▼ \(\lambda\mu\)-calculus and Böhm’s theorem. Zbl 0981.03019 David, René; Py, Walter 13 2001 \(\lambda\mu\)-calculus and Böhm’s theorem. Zbl 0981.03019 David, René; Py, Walter 13 2001 all cited Publications top 5 cited Publications all top 5 Cited by 19 Authors 3 Ariola, Zena M. 3 Herbelin, Hugo 2 de Carvalho, Daniel 2 de’Liguoro, Ugo 1 Barbanera, Franco 1 Biernacki, Dariusz 1 Downen, Paul 1 Johnson-Freyd, Philip 1 Lassen, Søren B. 1 Laurent, Olivier 1 Lenglet, Sergueï 1 Nakazawa, Koji 1 Sabry, Amr 1 Saurin, Alexis 1 Støvring, Kristian 1 Tortora de Falco, Lorenzo 1 van Bakel, Steffen 1 Vaux, Lionel 1 Zimmermann, Stéphane all top 5 Cited in 6 Serials 3 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Functional Programming 1 Higher-Order and Symbolic Computation 1 Logical Methods in Computer Science Cited in 2 Fields 9 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) Citations by Year