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

Document Versions

Structure of a proof-producing compiler for a subset of higher order logic –Guodong Li, Scott Owens, Konrad Slind — 2007 — 16th European Symposium on Programming (ESOP’07
Structure of a proof-producing compiler for a subset of higher order logic –Guodong Li, Scott Owens, Konrad Slind — 2007 — 16th European Symposium on Programming (ESOP’07