Ugo Solitro, Silvio Valentini. Local Computation in Linear Logic. Math. Log. Q., 39:201-212, 1993.
@article{SolitroV93,
title = {Local Computation in Linear Logic},
author = {Ugo Solitro and Silvio Valentini},
year = {1993},
tags = {logic},
researchr = {https://researchr.org/publication/SolitroV93},
cites = {0},
citedby = {0},
journal = {Math. Log. Q.},
volume = {39},
pages = {201-212},
}