Browsing by Author Santo, José Espírito

Showing results 1 to 1 of 1
Author(s)TitleIssue DateAppears inRank
Santo, José Espírito; Ghilezan, Silvia Characterization of strong normalizability for a sequent lambda calculus with co-control9-Oct-2017ACM 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