P. N. Benton, Gavin M. Bierman, Valeria de Paiva. Computational Types from a Logical Perspective. Journal of Functional Programming, 8(2):177-193, 1998.
@article{BentonBP98,
title = {Computational Types from a Logical Perspective},
author = {P. N. Benton and Gavin M. Bierman and Valeria de Paiva},
year = {1998},
researchr = {https://researchr.org/publication/BentonBP98},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {8},
number = {2},
pages = {177-193},
}