How to derive inductions in LCF. note (1980)

by Robin Milner