×

zbMATH — the first resource for mathematics

Edit Profile

Downen, Paul

Compute Distance To:
Author ID: downen.paul
Published as: Downen, Paul
External Links: ORCID
Documents Indexed: 10 Publications since 2012
all top 5

Co-Authors

0 single-authored
10 Ariola, Zena M.
3 Johnson-Freyd, Philip
1 Ghilezan, Silvia
1 Herbelin, Hugo
1 Jones, Simon Peyton
1 Maurer, Luke
1 Nakata, Keiko
1 Saurin, Alexis

Serials

2 Journal of Functional Programming
1 Fundamenta Informaticae
1 Journal of Logical and Algebraic Methods in Programming

Fields

10 Computer science (68-XX)
5 Mathematical logic and foundations (03-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription