Browsing by Author Espírito Santo, José
Showing results 1 to 1 of 1
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena | Characterising strongly normalising intuitionistic sequent terms | 9-Jun-2008 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Conference on Types for Proofs and Programs, TYPES 2007; Cividale del Friuli; Italy; 2 May 2007 through 5 May 2007; 4941 LNCS; 85-99 | M23 |