Giuseppe Longo. The new role of mathematical logic: A tool for computer scienc. Inf. Sci., 57-58:23-29, 1991. [doi]
@article{Longo91,
title = {The new role of mathematical logic: A tool for computer scienc},
author = {Giuseppe Longo},
year = {1991},
doi = {10.1016/0020-0255(91)90067-5},
url = {http://dx.doi.org/10.1016/0020-0255(91)90067-5},
tags = {logic},
researchr = {https://researchr.org/publication/Longo91},
cites = {0},
citedby = {0},
journal = {Inf. Sci.},
volume = {57-58},
pages = {23-29},
}