Login / Signup
Cvetan Dunchev
Publication Activity (10 Years)
Years Active: 2012-2016
Publications (10 Years): 1
Top Topics
Lambda Calculus
Programming Language
Theorem Prover
Higher Order Logic
Top Venues
CICM
CoRR
PxTP
UITP
</>
Publications
</>