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

by John Harrison
Citations:59 - 2 self