1986] "Computability in higher types, Pw and the completeness of type assignement (0)

by G Longo, S Martini
Venue:Theor. Comp. Sci