Skip Nav Destination
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
By
Adam Chlipala
Adam Chlipala
Adam Chlipala is Assistant Professor of Electrical Engineering and Computer Science and Douglas T. Ross (1954) Career Development Professor of Software Technology at MIT.
Search for other works by this author on:
The MIT Press
ISBN electronic:
9780262317870
Publication date:
2013
Book Chapter
8: More Dependent Types
-
Published:2013
Citation
2013. "More Dependent Types", Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant, Adam Chlipala
Download citation file:
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International Public License
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
.
This content is PDF only. Please click on the PDF icon to access.