Formalized Metareasoning in Type Theory

Todd B. Knoblock, Robert L. Constable

Browse the full LICS paper archive.