Knowledge Base of
Publications, Seminars, & Math Library

Filter for: Todd B. Knoblock

6 results

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

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

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

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

Reflective PRL
by Todd B. Knoblock
1984-1985

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