A categorical model for higher order imperative programming
Mathematical Structures in Computer Science
Modelling angelic and demonic nondeterminism with multirelations
Science of Computer Programming
Higher dimensional trees, algebraically
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Hi-index | 0.89 |