%0 Book %1 maguire2023certainty %A Maguire, Sandy %D 2023 %I Lean %K 03b15-higher-order-logic-type-theory 68n18-functional-programming-and-lambda-calculus agda %T Certainty by Construction %U https://leanpub.com/certainty-by-construction

@book{maguire2023certainty, added-at = {2023-11-02T23:20:24.000+0100}, author = {Maguire, Sandy}, biburl = {https://www.bibsonomy.org/bibtex/20bc2900448cc442a7ffeb6c09e563c80/gdmcbain}, interhash = {854d88d499a995b5d1d19a20b7f6a3b6}, intrahash = {0bc2900448cc442a7ffeb6c09e563c80}, keywords = {03b15-higher-order-logic-type-theory 68n18-functional-programming-and-lambda-calculus agda}, publisher = {Lean}, timestamp = {2023-11-02T23:20:24.000+0100}, title = {Certainty by Construction}, url = {https://leanpub.com/certainty-by-construction}, year = 2023 }