## Guodong Li, Scott Owens, Konrad Slind

*Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic*

ESOP, 2007.

@inproceedings{ESOP-2007-LiOS, author = "Guodong Li and Scott Owens and Konrad Slind", booktitle = "{Proceedings of the 16th European Symposium on Programming}", doi = "10.1007/978-3-540-71316-6_15", editor = "Rocco De Nicola", isbn = "978-3-540-71314-2", pages = "205--219", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic}", volume = 4421, year = 2007, }