Reasoning about functional programs in Nuprl (0)

by Douglas J Howe
Venue:In Functional Programming, Concurrency, Simulation and Automated Reasoning, volume 693 of Lecture