Login / Signup
Cristina Matache
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 11
Top Topics
Complex Objects
Natural Deduction
Denotational Semantics
Lambda Calculus
Top Venues
CoRR
FoSSaCS
LICS
FSCD
</>
Publications
</>