Cécilia Englander

According to our database, Cécilia Englander authored at least 4 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Finitely many-valued logics and natural deduction.

Cécilia Englander, Edward Hermann Haeusler, Luiz Carlos Pereira

Log. J. IGPL, 2014

Yet Another Bijection Between Sequent Calculus and Natural Deduction.

Cécilia Englander, Gilles Dowek, Edward Hermann Haeusler

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

2012

A new proof of normalization for NS4

Bruno Lopes, Cécilia Englander, Fernanda Lobo, Marcela Cruz

CoRR, 2012

2010

On the 2-Categorical View of Proofs.

Cécilia Englander, Edward Hermann Haeusler

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010