Implementing mathematics with the Nuprl proof development system

Robert L. Constable, Stuart F. Allen, Mark Bromley, Rance Cleaveland, J. F. Cremer, R. W. Harper, Douglas J. Howe, Todd B. Knoblock, N. P. Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith. Implementing mathematics with the Nuprl proof development system. Prentice Hall, 1986. [doi]

Abstract

Abstract is missing.