Implementing Mathematics with The Nuprl Proof Development System (1986)  (Make Corrections)  (505 citations) Robert L. Constable, Stuart F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, Douglas J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, James T. Sasaki, Scott F. Smith   Home/Search   Context   Related Links:   ACM

View or download: cornell.edu/pub/nuprl/doc/book.ps.gz Cached:  PS.gz  PS  PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.   PS.gz  PS  PDF   Image  Update  Help From:  cornell.edu/Info/Proje...subintro (more) Homepages:  R.Constable  S.Allen   W.Cleaveland  J.Cremer   R.Harper  D.Howe   J.Sasaki  S.Smith

Rate this article: (best)   Comment on this article

@book{ nuprl-book,
  author =    "Constable, Robert L. and Stuart F. Allen and H. M. Bromley and 
               W. R. Cleaveland and J. F. Cremer and R. W. Harper and Douglas J. Howe and 
               T. B. Knoblock and N. P. Mendler and P. Panangaden and James T. Sasaki and
               Scott F. Smith",
  title =     "Implementing Mathematics with the {N}uprl Development System",
  publisher = "Prentice-Hall",
  year =      1986,
  address =   "NJ",
  url = "citeseer.ist.psu.edu/constable86implementing.html" }