Paper: Formalized Metareasoning in Type Theory (at LICS 1986)
Authors: Todd B. Knoblock Robert L. ConstableAbstract
No Abstract Available
BibTeX
@InProceedings{KnoblockConstable-FormalizedMetareaso, author = {Todd B. Knoblock and Robert L. Constable}, title = {Formalized Metareasoning in Type Theory}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {237--248}, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }