Login / Signup

Paul Blain Levy

ORCID

Publication Activity (10 Years)

Years Active: 1999-2022
Publications (10 Years): 15

Top Topics

Relation Algebra
Programming Language Constructs
Contextual Knowledge
Transition Systems

Top Venues

CoRR
CALCO
LICS
POPL

Queen Mary University of London, UK (PHD)

Education History
Queen Mary University of London, UK

PHD

Publications