Login / Signup
Maurizio Dominici
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Predicate Calculus
Database Query Languages
Program Understanding
Top Venues
LINEARITY
</>
Publications
</>
Maurizio Dominici
,
Simona Ronchi Della Rocca
,
Paolo Tranquilli
Standardization in resource lambda-calculus
LINEARITY
(2012)