Dexter Kozen, Jerzy Tiuryn. Intuitionistic Linear Logic and Partial Correctness. In LICS. pages 259-268, 2001.
@inproceedings{KozenT01,
title = {Intuitionistic Linear Logic and Partial Correctness},
author = {Dexter Kozen and Jerzy Tiuryn},
year = {2001},
tags = {logic},
researchr = {https://researchr.org/publication/KozenT01},
cites = {0},
citedby = {0},
pages = {259-268},
booktitle = {LICS},
}