Login / Signup
Leonardo Rodríguez
Publication Activity (10 Years)
Years Active: 2004-2017
Publications (10 Years): 2
Top Topics
Functional Language
Denotational Semantics
Logical Properties
Rare Events
Top Venues
LSFA
TYPES
IFL
ModelEd, TestEd, TrustEd
</>
Publications
</>