Cécilia Englander

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Cut Elimination

Sequent Calculus

Natural Deduction

Top Venues

Publications

Cécilia Englander, Edward Hermann Haeusler, Luiz Carlos Pereira
Finitely many-valued logics and natural deduction. Log. J. IGPL 22 (2) (2014)
Cécilia Englander, Gilles Dowek, Edward Hermann Haeusler
Yet Another Bijection Between Sequent Calculus and Natural Deduction. LSFA (2014)
Cécilia Englander, Edward Hermann Haeusler
On the 2-Categorical View of Proofs. ISoLA (1) (2010)