Logic And Declarative Language こちらもおすすめ
Verified Functional Programming in Agda
2016年
Concepts and Semantics of Programming Languages 1
2021年
Array Theory and the Design of Nial
2013年
Formal Methods in Computer Science
2019年
Computer Science: Questions and Answers
2017年
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
2022年