Mechanizing Coinduction and Corecursion in Higher-order Logic (1997)

by Lawrence C. Paulson
Venue:Journal of Logic and Computation
Citations:41 - 5 self