Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics

Cached

Download Links

by Robert Constable
Citations:4 - 0 self