Giuseppe Longo, Eugenio Moggi. A Category-Theoretic Characterization of Functional Completeness. Theoretical Computer Science, 70(2):193-211, 1990.
@article{LongoM90, title = {A Category-Theoretic Characterization of Functional Completeness}, author = {Giuseppe Longo and Eugenio Moggi}, year = {1990}, tags = {completeness}, researchr = {https://researchr.org/publication/LongoM90}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {70}, number = {2}, pages = {193-211}, }