eCommons@Cornell: Browsing eCommons

Browsing by Author "Knoblock, Todd B."

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 3 of 3

Issue Date	Title	Author(s)
Mar-1986	Formalized Metareasoning in Type Theory	*Knoblock, Todd B.; Constable, Robert L.*
Dec-1987	Metamathematical Extensibility in Type Theory	*Knoblock, Todd B.*
Oct-1984	Writing Programs that Construct Proofs	*Constable, Robert L.; Knoblock, Todd B.; Bates, Joseph L.*

Showing results 1 to 3 of 3