Giuseppe Longo, Simone Martini. Computability in Higher Types, P omega and the Completeness of Type Assignment. Theoretical Computer Science, 46(3):197-217, 1986.
@article{LongoM86, title = {Computability in Higher Types, P omega and the Completeness of Type Assignment}, author = {Giuseppe Longo and Simone Martini}, year = {1986}, tags = {completeness}, researchr = {https://researchr.org/publication/LongoM86}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {46}, number = {3}, pages = {197-217}, }