Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Prakash Panangaden
2 results
Implementing Mathematics with the Nuprl Development System
| cite »
by Robert L. Constable, Stuart F. Allen, H. M. Bromley, Walter Rance Cleaveland, J. F. Cremer, Robert W. Harper, Douglas J. Howe, Todd B. Knoblock, Nax P. Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith
1986
Infinite Objects in Type Theory
| cite »
by Nax P. Mendler, Robert L. Constable, Prakash Panangaden
1986