A short proof of the Schröder-Simpson Theorem

Jean Goubault-Larrecq. A short proof of the Schröder-Simpson Theorem. Mathematical Structures in Computer Science, 25(1):1-5, 2015. [doi]

Abstract

Abstract is missing.