Exposé “‘Logical calculuses are semilattices or lattices’ (Lorenzen)” au séminaire Geometric logic, constructivisation, and automated theorem proving at Schloss Dagstuhl le 23 novembre 2021 (captation réalisée par Cosimo P. Brogi). Référence : Thierry Coquand, Henri Lombardi et Stefan Neuwirth, «An introduction to Lorenzen’s ‘Algebraic and logistic investigations on free lattices’ (1951)» (with Thierry Coquand), hal-01629913.