From LCF to HOL: a short history (2000)

Cached

Download Links

by Mike Gordon
Venue:Proof, Language, and Interaction
Citations:24 - 0 self