Higher-Order Mathematical Operational Semantics (Early Ideas).

Sergey Goncharov, Stefan Milius, Lutz Schrder, Stelios Tsampas, Henning Urbat

Browse the full CALCO paper archive.