G.(1987) "On Church's Formal Theory of functions and functionals," Lecture delivered at the Conference Church's Thesis after 50 years, Zeiss (NL (1986)

by Longo
Venue:Pure Appl. Logic