Paul Levy

Dr.

Accepting PhD Students

PhD projects

Paul Levy’s research has explored call-by-push-value, an endlessly fascinating programming calculus that underlies the call-by-value and call-by-name paradigms. More generally, he is interested in anything related to denotational semantics, including games, categories and nondeterminism.

20022022

Research activity per year

Filter
Finished

Search results