Mechanizing Coinduction and Corecursion in Higher-order Logic

What this record says

A theory of recursive and corecursive definitions has been developed in higher-order logic (HOL) and mechanized using Isabelle. Least fixedpoints

CATALOG · The abstract is indexed.