@inproceedings{932502,
    Author = {Kozen, D. and Tiuryn, J.},
    BookTitle = {Proceedings 16th Annual IEEE Symposium on Logic in Computer Science},
    File = {Intuitionistic Linear Logic and Partial Correctness - intuitionistic-linear-logic-and-partial-correctness.pdf},
    Pages = {259-268},
    Title = {Intuitionistic linear logic and partial correctness},
    Year = {2001},
    bdsk-url-1 = {https://doi.org/10.1109/LICS.2001.932502},
    date-added = {2021-05-20 15:26:15 +0200},
    date-modified = {2021-05-20 15:26:15 +0200},
    doi = {10.1109/LICS.2001.932502}
}

@inproceedings{932502, Author = {Kozen, D. and Tiuryn, J.}, BookTitle = {Proceedings 16th Annual IEEE Symposium on Logic in Computer Science}, File = {Intuitionistic Linear Logic and Partial Correctness - intuitionistic-linear-logic-and-partial-correctness.pdf}, Pages = {259-268}, Title = {Intuitionistic linear logic and partial correctness}, Year = {2001}, bdsk-url-1 = {https://doi.org/10.1109/LICS.2001.932502}, date-added = {2021-05-20 15:26:15 +0200}, date-modified = {2021-05-20 15:26:15 +0200}, doi = {10.1109/LICS.2001.932502} }