A Broader Class of Trees for Recursive Type Definitions for HOL (1994)

by Elsa L. Gunter
Venue:Higher Order Logic Theorem Proving and Its Applications, volume 780 of LNCS