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

Cached

Download Links

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