First Page | Document Content | |
---|---|---|
![]() Date: 2004-08-23 08:48:12Programming language semantics Logic in computer science Operational semantics BRIC Peter Mosses Gordon Plotkin Congruence relation Theoretical computer science Mathematics Formal methods | Add to Reading List |