Axiomatic constructor classes in Isabelle/HOLCF (2005)

by B Huffman, J Matthews, P White
Venue:Proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ’05), volume 3603 of LNCS