Sub-categories
Programming language semantics
Formal methods (Formal verification)
Type theory
Logic programming
Multi-valued logic

Back to Top