Douglas J. Howe. Reasoning About Functional Programs in Nuprl. In Peter E. Lauer, editor, Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Volume 693 of Lecture Notes in Computer Science, pages 145-164, Springer, 1993.
@inproceedings{Howe93, title = {Reasoning About Functional Programs in Nuprl}, author = {Douglas J. Howe}, year = {1993}, tags = {functional programming}, researchr = {https://researchr.org/publication/Howe93}, cites = {0}, citedby = {0}, pages = {145-164}, booktitle = {Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada}, editor = {Peter E. Lauer}, volume = {693}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-56883-2}, }