Loading...
The system can't perform the operation now. Try again later.
Articles
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
Andrei Popescu
University of Sheffield
Verified email at sheffield.ac.uk
Cited by 2053
proof assistants
information flow security
logical foundations
syntax with bindings
datatypes
Privacy
Terms
Help
About Scholar
Search help