Automating Recursive Type Definitions in Higher Order Logic

Bibliographic Details
Main Author:	Melham, T
Format:	Report
Published:	Computer Laboratory‚ University of Cambridge 1988

Automating Recursive Type Definitions in Higher Order Logic by Melham, T

Published 1989

Book