Admissibility of fixed-point induction in firstorder logic of typed theories (1974)

by Shigeru Igarashi
Venue:In Proceedings of the International Symposium on Theoretical Programming