justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

LICS 2021 accepts.

This commit is contained in:
Justin Hsu 2021-04-02 00:57:40 +01:00
parent 568986aba8
commit 4bb4adc3c5
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
bibs/myrefs.bib
View File

@ -98,12 +98,16 @@
} }
@inproceedings{ZBHYY20, @inproceedings{ZBHYY20,
title = {A Quantum Interpretation of Bunched Logic \& Quantum Separation Logic}, title = {A Quantum Interpretation of Bunched Logic for Quantum Separation Logic},
author = {Zhou, Li and author = {Zhou, Li and
Barthe, Gilles and Barthe, Gilles and
Hsu, Justin and Hsu, Justin and
Ying, Minghsheng and Ying, Minghsheng and
Yu, Nengkun}, Yu, Nengkun},
url = {https://arxiv.org/abs/2102.00329},
eprint = {2102.00329},
archivePrefix = {arXiv},
primaryClass = {cs.LO},
booktitle = lics21, booktitle = lics21,
year = 2021, year = 2021,
jh = yes, jh = yes,
@ -1129,12 +1133,13 @@ inproceedings{HHRRW14,
jh = yes, jh = yes,
} }
@talk{pps21-talk, @talk{pihoc21-talk,
title = {A Bunched Logic for Conditional Independence}, title = {A Bunched Logic for Conditional Independence},
organization = {Joint {PPS}--{PIHOC}--{DIAPASoN} Workshop}, organization = {Joint {PPS}--{PIHOC}--{DIAPASoN} Workshop},
year = 2021, year = 2021,
month = feb, month = feb,
jh = yes, jh = yes,
note = {Cancelled due to medical reasons.},
} }
@talk{cornell20-talk, @talk{cornell20-talk,