Exploiting non-canonicity in the sequent calculus
| Main Author: | |
|---|---|
| Published: |
Ecole Polytechnique X
2009
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00005487 http://pastel.archives-ouvertes.fr/docs/00/50/12/93/PDF/phd.pdf |