A Reflection−based Proof Tactic for Lattices in Coq
Daniel W.H. James and Ralf Hinze
Details
| Book Title |
Post−symposium proceedings of the 10th Symposium on Trends in Functional Programming |
| Editor |
Horváth‚ Zoltán and Zsόk‚ Viktόria |
| ISBN |
9781841504056 |
| Location |
Komarno‚ Slovakia |
| Month |
June |
| Note |
http://www.intellectbooks.co.uk/books/view−Book‚id=4740/ |
| Publisher |
Intellect |
| Series |
TFP '09 |
| Year |
2009 |
Links
Related pages
|
People |