Miguel Couceiro, Erkko Lehtonen, Pierre Mercuriali, Romain Péchoux, Mathias Soeken. Normal form systems generated by single connectives have mutually equivalent efficiency.
DICE 2018 - Developments in Implicit Computational Complexity, Apr 2018, Thessaloniki, Greece.
⟨10.4230/LIPIcs.DICE.2016.1⟩.
⟨hal-02499377⟩