Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

[wdv4758h]

ISBN-10: 0262026651
ISBN-13: 978-0262026659
URL: http://adam.chlipala.net/cpdt/
Amazon: https://www.amazon.com/gp/product/0262026651/