M. Puech
发表
M. Puech,
2013
.
M. Puech,
2010
.
M. Puech,
Y. Régis-Gianas,
2012
.
M. Puech,
2016
.
Proofs, Upside Down - A Functional Correspondence between Natural Deduction and the Sequent Calculus
Matthias Puech,
M. Puech,
2013,
APLAS.
M. Puech,
2016
.