Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Data-Refinement for Call-By-Value Programming Languages
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Axiomatics for Data Refinement in Call by Value Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Symmetric Monoidal Sketches and Categories of Wirings
Electronic Notes in Theoretical Computer Science (ENTCS)
The microcosm principle and concurrency in coalgebra
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
De groot duality and models of choice: Angels, demons and nature†
Mathematical Structures in Computer Science
| Hi-index | 0.00 |