Gilezan, Silvia

Network Lab View Statistics Email Alert RSS Feed

Refined By:

Author: Dougherty D.

Results 1-3 of 3 (Search time: 0.001 seconds).

	Issue Date	Title	Author(s)
1	1-Jan-2005	Strong normalization of the dual classical sequent calculus	Dougherty D.; Gilezan, Silvia ; Lescanne P.; Likavec S.
2	19-Jul-2005	Intersection and union types in the λ̄μμ̃-calculus	Dougherty D.; Gilezan, Silvia ; Lescanne P.
3	1-Jan-2004	Characterizing strong normalization in a language with control operators	Dougherty D.; Gilezan, Silvia ; Lescanne P.