A reflection−based proof tactic for lattices in Coq
Daniel W.H. James and Ralf Hinze
Details
| Book Title |
Post−conference proceedings of the 10th Symposium on Trends in Functional Programming (TFP 2009) |
| Editor |
Horváth‚ Zoltán and Zsόk‚ Viktόria and Achten‚ Peter and Koopman‚ Pieter |
| ISBN |
ISBN 978−1−84150−158−1 |
| Location |
Komarno‚ Slovakia |
| Pages |
97−112 |
| Publisher |
Intellect |
| Year |
2010 |
Links
Related pages
|
People |