Browsing by Author Santo, José Espírito
Showing results 1 to 1 of 1
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Santo, José Espírito; Ghilezan, Silvia | Characterization of strong normalizability for a sequent lambda calculus with co-control | 9-Oct-2017 | ACM International Conference Proceeding Series; 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017; Namur; Belgium; 9 October 2017 through 11 October 2017; Part F131196; 163-174 |