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

### Cached

### Download Links

- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- [arxiv.org]
- DBLP

### Other Repositories/Bibliography

by
Robert Constable

Citations: | 4 - 0 self |