Programming languages: concepts and constructs
Programming languages: concepts and constructs
Category theory for computing science
Category theory for computing science
Basic category theory for computer scientists
Basic category theory for computer scientists
A logical approach to discrete math
A logical approach to discrete math
Programming language pragmatics
Programming language pragmatics
Revised report on the algorithm language ALGOL 60
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
| Hi-index | 0.00 |