Robuta

https://ebjohnsen.org/tag/operational-semantics/ Operational Semantics | Einar Broch Johnsen A highly-customizable Hugo academic resume theme powered by Hugo Blox Builder. operational semantics einar https://strathprints.strath.ac.uk/44994/ Modularity and implementation of mathematical operational semantics - Strathprints operational semantics modularity implementation mathematical https://www.ideals.illinois.edu/items/30191 Towards a Unified Theory of Operational and Axiomatic Semantics | IDEALS a unified theory towards operational axiomatic semantics