Programming Systems Lab: Publications by Christine Rizkallah

Saarland University Computer Science

Select author:

2014

Glivenko and Kuroda for Simple Type Theory
Chad E. Brown, Christine Rizkallah
The Journal of Symbolic Logic

2013

From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction   (pdf)
Chad E. Brown, Christine Rizkallah

2011

Glivenko and Kuroda for Simple Type Theory   (pdf)
Chad E. Brown, Christine Rizkallah
Technical Report, Submitted

2009

Proof Representations for Higher-Order Logic   (pdf)
Christine Rizkallah
Master's Thesis, Saarland University


Login to edit


Legal notice, Privacy policy