APA (7th ed.) Citation

Chlipala, A. (2013). More Dependent Types. Certified Programming with Dependent Types. https://doi.org/10.7551/mitpress/9153.003.0011

Chicago Style (17th ed.) Citation

Chlipala, Adam. "More Dependent Types." Certified Programming with Dependent Types 2013. https://doi.org/10.7551/mitpress/9153.003.0011.

MLA (9th ed.) Citation

Chlipala, Adam. "More Dependent Types." Certified Programming with Dependent Types, 2013, https://doi.org/10.7551/mitpress/9153.003.0011.

Warning: These citations may not always be 100% accurate.