Mario Coppo. Completeness of Type Assignment in Continuous Lambda Models. Theoretical Computer Science, 29:309-324, 1984.
@article{Coppo84, title = {Completeness of Type Assignment in Continuous Lambda Models}, author = {Mario Coppo}, year = {1984}, tags = {completeness}, researchr = {https://researchr.org/publication/Coppo84}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {29}, pages = {309-324}, }