iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/popl/BrotherstonC09.nt
.
.
.
.
.
.
"James Brotherston and Cristiano Calcagno: Classical BI: a logic for reasoning about dualising resources. (2009)" .
.
.
_:ID_812b29c17960f936d2683e61e5ba3337 . _:ID_812b29c17960f936d2683e61e5ba3337
. _:ID_812b29c17960f936d2683e61e5ba3337
. _:ID_812b29c17960f936d2683e61e5ba3337
. _:ID_812b29c17960f936d2683e61e5ba3337
"conf/popl/BrotherstonC09" .
_:ID_b0589541245f59b316c638aa5942bf5d . _:ID_b0589541245f59b316c638aa5942bf5d
. _:ID_b0589541245f59b316c638aa5942bf5d
. _:ID_b0589541245f59b316c638aa5942bf5d
. _:ID_b0589541245f59b316c638aa5942bf5d
"10.1145/1480881.1480923" .
_:ID_b0589541245f59b37bd2369d7d5da161 . _:ID_b0589541245f59b37bd2369d7d5da161
. _:ID_b0589541245f59b37bd2369d7d5da161
. _:ID_b0589541245f59b37bd2369d7d5da161
. _:ID_b0589541245f59b37bd2369d7d5da161
"10.1145/1594834.1480923" .
"Classical BI: a logic for reasoning about dualising resources." .
.
.
.
.
.
"2"^^
.
_:Sig_4483c97fd4ea587a95c0de204143927b_1 . _:Sig_4483c97fd4ea587a95c0de204143927b_1
. _:Sig_4483c97fd4ea587a95c0de204143927b_1
. _:Sig_4483c97fd4ea587a95c0de204143927b_1
"James Brotherston" . _:Sig_4483c97fd4ea587a95c0de204143927b_1
. _:Sig_4483c97fd4ea587a95c0de204143927b_1
"1"^^
. _:Sig_4483c97fd4ea587a95c0de204143927b_1
.
_:Sig_4483c97fd4ea587a95c0de204143927b_2 . _:Sig_4483c97fd4ea587a95c0de204143927b_2
. _:Sig_4483c97fd4ea587a95c0de204143927b_2
. _:Sig_4483c97fd4ea587a95c0de204143927b_2
"Cristiano Calcagno" . _:Sig_4483c97fd4ea587a95c0de204143927b_2
. _:Sig_4483c97fd4ea587a95c0de204143927b_2
"2"^^
. _:Sig_4483c97fd4ea587a95c0de204143927b_2
.
.
.
.
.
.
"328-339" .
"POPL" .
"POPL" .
"2009"^^
.
"2009"^^
.
.
"provenance information for RDF data of dblp record 'conf/popl/BrotherstonC09'" .
.
.
.
"2021-06-25T14:48:54+0200" .
