Automating Recursive Type Definitions in Higher Order Logic
Thomas F. Melham
Institution
Computer Laboratory‚ University of Cambridge
Month
September
Number
146
Year
1988
Thomas F. Melham