Inductive datatypes in HOL - lessons learned in formal-logic engineering (0)

by Markus Wenzel
Venue:Proceedings of TPHOLs, volume 1690 of LNCS