Weak Similarity in Higher-Order Mathematical Operational Semantics.

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

Browse the full LICS paper archive.