Axiomatic constructor classes in Isabelle/HOLCF (2005)

Cached

Download Links

by Brian Huffman , John Matthews , Peter White
Venue:In In Proc. 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ’05), Volume 3603 of Lecture Notes in Computer Science
Citations:16 - 5 self