Structure of a proof-producing compiler for a subset of higher order logic (2007)

by Guodong Li , Scott Owens , Konrad Slind
Venue:16th European Symposium on Programming (ESOP’07
Citations:8 - 6 self