Mechanizing structural induction (1976)

Cached

Download Links

by Raymond Aubin
Citations:40 - 0 self