Logical Predicates in Higher-Order Mathematical Operational Semantics.

Sergey Goncharov, Alessio Santamaria, Lutz Schrder, Stelios Tsampas, Henning Urbat

Browse the full FOSSACS paper archive.