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.nt
.
.
.
.
.
"Jos\u00E9 Esp\u00EDrito Santo and Silvia Ghilezan: Characterization of strong normalizability for a sequent lambda calculus with co-control. (2017)" .
.
_:ID_3c72b8fae54fe94b8a1c7c29190774cc . _:ID_3c72b8fae54fe94b8a1c7c29190774cc
. _:ID_3c72b8fae54fe94b8a1c7c29190774cc
. _:ID_3c72b8fae54fe94b8a1c7c29190774cc
. _:ID_3c72b8fae54fe94b8a1c7c29190774cc
"conf/ppdp/SantoG17" .
_:ID_de56a54ac3511548d13c0c419cb104b2 . _:ID_de56a54ac3511548d13c0c419cb104b2
. _:ID_de56a54ac3511548d13c0c419cb104b2
. _:ID_de56a54ac3511548d13c0c419cb104b2
. _:ID_de56a54ac3511548d13c0c419cb104b2
"10.1145/3131851.3131867" .
"Characterization of strong normalizability for a sequent lambda calculus with co-control." .
.
.
.
.
.
"2"^^
.
_:Sig_52e6d0b835096e8fa09093e668c0fa10_1 . _:Sig_52e6d0b835096e8fa09093e668c0fa10_1
. _:Sig_52e6d0b835096e8fa09093e668c0fa10_1
. _:Sig_52e6d0b835096e8fa09093e668c0fa10_1
"Jos\u00E9 Esp\u00EDrito Santo" . _:Sig_52e6d0b835096e8fa09093e668c0fa10_1
. _:Sig_52e6d0b835096e8fa09093e668c0fa10_1
. _:Sig_52e6d0b835096e8fa09093e668c0fa10_1
"1"^^
. _:Sig_52e6d0b835096e8fa09093e668c0fa10_1
.
_:Sig_52e6d0b835096e8fa09093e668c0fa10_2 . _:Sig_52e6d0b835096e8fa09093e668c0fa10_2
. _:Sig_52e6d0b835096e8fa09093e668c0fa10_2
. _:Sig_52e6d0b835096e8fa09093e668c0fa10_2
"Silvia Ghilezan" . _:Sig_52e6d0b835096e8fa09093e668c0fa10_2
. _:Sig_52e6d0b835096e8fa09093e668c0fa10_2
. _:Sig_52e6d0b835096e8fa09093e668c0fa10_2
"2"^^
. _:Sig_52e6d0b835096e8fa09093e668c0fa10_2
.
.
.
.
.
"163-174" .
"PPDP" .
"PPDP" .
"2017"^^
.
"2017"^^
.
.
"provenance information for RDF data of dblp record 'conf/ppdp/SantoG17'" .
.
.
.
"2019-09-16T15:32:18+0200" .
