Theoretical Computer Science - Special issue on mathematical foundations of programming semantics
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Models of Sharing Graphs: A Categorical Semantics of Let and Letrec
Models of Sharing Graphs: A Categorical Semantics of Let and Letrec
Uncertain Programming
Retracting Some Paths in Process Algebra
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Combining Computational Effects: commutativity & sum
TCS '02 Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science: Foundations of Information Technology in the Era of Networking and Mobile Computing
Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
A Theory of Recursive Domains with Applications to Concurrency
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
An Axiomatics for Categories of Transition Systems as Coalgebras
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Finite dimensional vector spaces are complete for traced symmetric monoidal categories
Pillars of computer science
Hi-index | 0.00 |