Search




Research outputs

Strong normalization of the dual classical sequent calculus   [2005]

Dougherty, Daniel; Ghilezan, Silvia  ; Lescanne, Pierre; Likavec, Silvia  

Filters

By type