## 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 |

Citations: | 17 - 0 self |