//
Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Todd B. Knoblock

6 results


Publication Metamathematical Extensibility in Type Theory | cite »
by Todd B. Knoblock
1987

Seminar Metamathematics of Reflection
by Todd B. Knoblock
April 22, 1987

Publication Formalized Metareasoning in Type Theory | cite »
by Todd B. Knoblock, Robert L. Constable
1986

Publication 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

Seminar Reflective PRL
by Todd B. Knoblock
1984-1985

Publication Writing Programs That Construct Proofs | cite »
by Robert L. Constable, Todd B. Knoblock, Joseph L. Bates
1984