Logic And Declarative Language More Books Like This
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