Metatheory and Reflection in Theorem Proving: A Survey and Critique (1995)
by
John Harrison
| Citations: | 46 - 2 self |
Document Versions
| Metatheory and Reflection in Theorem Proving: A Survey and Critique –John Harrison — 1995 |
| Metatheory and Reflection in Theorem Proving: A Survey and Critique –John Harrison — 1995 |
