Login / Signup
Valeria de Paiva
ORCID
Publication Activity (10 Years)
Years Active: 1989-2024
Publications (10 Years): 51
Top Topics
Linear Logic
Top Venues
CoRR
GWC
Log. J. IGPL
J. Log. Comput.
</>
Publications
</>