Computability in Higher Types, P omega and the Completeness of Type Assignment

Giuseppe Longo, Simone Martini. Computability in Higher Types, P omega and the Completeness of Type Assignment. Theoretical Computer Science, 46(3):197-217, 1986.

Abstract

Abstract is missing.