Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks Abstract

by C. J. Bell , Robert Dockins , Aquinas Hobor , David Walker
Citations:2 - 1 self