First Page | Document Content | |
---|---|---|
![]() Date: 2016-03-19 19:42:58Theoretical computer science Logic Mathematical logic Logic in computer science Formal methods Programming language semantics Philosophical logic Models of computation Operational semantics Denotational semantics Standard ML Kripke semantics | Add to Reading List |