- Computability and Logic
- A New Introduction to Modal Logic
- Semantics of Programming Languages: Structures and Techniques
- Elements of Finite Model Theory
- Recursion Theory
- A Short Introduction to Intuitionistic Logic
- 多様体の基礎
- Algebra of Programming
- Model Checking
- Purely Functional Data Structures
- Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Last active
December 1, 2019 05:03
-
-
Save kinaba/e556d4a924d9ecf698edcad2dc89be17 to your computer and use it in GitHub Desktop.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment