Mechanizing structural induction (1979)

by R Aubin
Venue:Theor. Comput. Sci