On the Semantics of Refinement Calculi
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
A categorical model for higher order imperative programming
Mathematical Structures in Computer Science
Hi-index | 0.00 |