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

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

Document Versions

Mechanizing Coinduction and Corecursion in Higher-order Logic –Lawrence C. Paulson — 1997 — Journal of Logic and Computation
Mechanizing Coinduction and Corecursion in Higher-order Logic –Lawrence C. Paulson — 1998