Metatheory and Reflection in Theorem Proving: A Survey and Critique (1995)

by John Harrison
Citations:58 - 2 self