Verified Functional Programming in Agda こちらもおすすめ
Logic And Declarative Language
2004年
Concepts and Semantics of Programming Languages 1
2021年
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
2022年
Formal Methods in Computer Science
2019年
Computer Science: Questions and Answers
2017年
An Introduction to the Analysis of Algorithms
2018年
Mathematics and Programming for Machine Learning with R
2020年