Browsing by Author Dougherty, Daniel
Showing results 1 to 4 of 4
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | 28-May-2008 | Theoretical Computer Science; 398(1-3); 114-128 | M22 |
| Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | A general technique for analyzing termination in symmetric proof calculi | 2007 | WST'07 - The 9th International Workshop on Termination, Paris, France, July 2007 | |
| Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Intersection and union types in the λ̄μμ̃-calculus | 19-Jul-2005 | Electronic Notes in Theoretical Computer Science; 3rd International Workshop on intersection Types and Related Systems; 13 July 2004 through 13 July 2004; 136; 153-172 | |
| Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, Silvia | Strong normalization of the dual classical sequent calculus | 1-Jan-2005 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005; Montego Bay; Jamaica; 2 December 2005 through 6 December 2005; 3835 LNAI; 169-183 | M22 |