Research output per year
Research output per year
Personal profile
Education/Academic qualification
Master of Mathematics, University of Cambridge
1 Oct 1992 → 30 Jun 1996
Award Date: 30 Jun 2011
Doctor of Philosophy, Call-by-push-value, Queen Mary, University of London
1 Oct 1996 → 30 Apr 2001
Award Date: 12 Dec 2001
Master of Arts, University of Cambridge
1 Oct 1992 → 30 Jun 1996
Award Date: 30 Jun 1998
Fingerprint
Dive into the research topics where Paul Levy is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Broad Infinity and Generation Principles
Levy, P., 19 Jun 2024, (Accepted/In press) In: Notre Dame Journal of Formal Logic.Research output: Contribution to journal › Article › peer-review
-
SIGLOG Semantics Column: Call-by-push-value
Levy, P., 30 Apr 2022, In: ACM SIGLOG News. 9, 2, p. 7 29 p.Research output: Contribution to journal › Review article
Open AccessFile51 Downloads (Pure) -
The price of mathematical scepticism
Levy, P., Oct 2022, In: Philosophia Mathematica. 30, 3, p. 283-305 23 p., nkac011.Research output: Contribution to journal › Article › peer-review
Open AccessFile71 Downloads (Pure) -
Steps and traces
Rot, J., Jacobs, B. & Levy, P., Sept 2021, In: Journal of Logic and Computation. 31, 6, p. 1482–1525 44 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile155 Downloads (Pure) -
Coinductive resumption monads: guarded iterative and guarded Elgot
Levy, P. B. & Goncharov, S., 31 Dec 2019, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Roggenbach, M. & Sokolova, A. (eds.). Schloss Dagstuhl, Vol. 139. p. 13:1--13:17 18 p. (Leibniz International Proceedings in Informatics (LIPIcs)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile118 Downloads (Pure)
Projects
- 4 Finished
-
Recursion, guarded recursion and computational effects
Engineering & Physical Science Research Council
1/07/16 → 31/12/19
Project: Research Councils
-
Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation
Engineering & Physical Science Research Council
1/01/08 → 31/12/12
Project: Research Councils
-
Semantics of Nondeterminism
Engineering & Physical Science Research Council
1/12/05 → 31/08/08
Project: Research Councils
-