Paul Blain Levy

Paul Blain Levy

Senior Lecturer, University of Birmingham
E-mail confirmado em cs.bham.ac.uk
Citado por 1732
semantics of programming languages game semantics call-by-push-value category theory semantics of nondeterminism