Constable R.L. [1986] "Formalized metareasoning in Type Theory (1987)

by T B Knoblock
Venue:IEEE Conference on Logic in Computer Science