The HOL logic extended with quantification over type variables (1993)

by Thomas F. Melham
Venue:Formal Methods in System Design, 3(1--2):7--24
Citations:19 - 0 self

Document Versions

The HOL logic extended with quantification over type variables –Thomas F. Melham — 1993 — Formal Methods in System Design, 3(1--2):7--24
The HOL Logic Extended with Quantification over Type Variables –Thomas F. Melham — 1993
The HOL Logic Extended with Quantification over Type Variables –Thomas Melham — 1992 — Formal Methods in System Design, 3(1--2):7--24