Implementing Certified Programming Language Tools in Dependent Type Theory (2007)

by Adam James Chlipala
Citations:1 - 0 self