Reasoning About Functional Programs in Nuprl (1993)

Cached

Download Links

by Douglas J. Howe
Venue:In Functional Programming, Concurrency, Simulation and Automated Reasoning
Citations:12 - 0 self