Metamathematical extensibility in Type Theory (1987)

by Todd B Knoblock