Raymond Turner. Lazy Theories of Operations and Types. Journal of Logic and Computation, 3(1):77-102, 1993.
@article{Turner93, title = {Lazy Theories of Operations and Types}, author = {Raymond Turner}, year = {1993}, tags = {laziness, type theory}, researchr = {https://researchr.org/publication/Turner93}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {3}, number = {1}, pages = {77-102}, }