How to derive inductions (0)

by R Milner
Venue:in LCF, note, Dept. Comp. Sci