Michael I. Schwartzbach. Interpretations of Recursively Defined Types. Theoretical Computer Science, 106(1):119-134, 1992.
@article{Schwartzbach92,
title = {Interpretations of Recursively Defined Types},
author = {Michael I. Schwartzbach},
year = {1992},
researchr = {https://researchr.org/publication/Schwartzbach92},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {106},
number = {1},
pages = {119-134},
}