iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/ppdp/SantoG17.rdf
José Espírito Santo and Silvia Ghilezan: Characterization of strong normalizability for a sequent lambda calculus with co-control. (2017) conf/ppdp/SantoG17 10.1145/3131851.3131867 Characterization of strong normalizability for a sequent lambda calculus with co-control. 2 José Espírito Santo 1 Silvia Ghilezan 2 163-174 PPDP PPDP 2017 2017 provenance information for RDF data of dblp record 'conf/ppdp/SantoG17' 2019-09-16T15:32:18+0200