Bialgebraic Reasoning on Higher-order Program Equivalence.

Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat

Browse the full LICS paper archive.