Typed Normal Form Bisimulation.

Sren B. Lassen, Paul Blain Levy

Browse the full CSL paper archive.