Login / Signup
Matthias Puech
Publication Activity (10 Years)
Years Active: 2013-2014
Publications (10 Years): 0
Top Topics
Sequent Calculus
Evaluation Model
Theorem Prover
Wide Class
Top Venues
TYPES
APLAS
</>
Publications
</>
Olivier Danvy
,
Chantal Keller
,
Matthias Puech
Typeful Normalization by Evaluation.
TYPES
(2014)
Matthias Puech
Proofs, Upside Down - A Functional Correspondence between Natural Deduction and the Sequent Calculus.
APLAS
(2013)