![](images/graphics/blank.gif)
Ebook Certified programming with dependent types: Part 1 - Adam Chlipala
5
lượt xem 1
download
lượt xem 1
download
![](https://tailieu.vn/static/b2013az/templates/version1/default/images/down16x21.png)
Part 1 of ebook "Certified programming with dependent types" provides readers with contents including: basic programming and proving; programming with dependent types; inductive predicates; infinite data and proofs; subset types and variations; general recursion; more dependent types; dependent data structures; reasoning about equality proofs;...
Chủ đề:
Bình luận(0) Đăng nhập để gửi bình luận!
![](images/graphics/blank.gif)
CÓ THỂ BẠN MUỐN DOWNLOAD