The Admissability of Fixed-Point Induction in First Order Logic of Typed Theories (1972)

by S Igarashi
Venue:Computer Science Dept., Stanford University