Seminar of the proofs and algorithms pole: Sam van Gool on Friday 11 April 2025 at 14h00 

-- Separation, duality, and profinite lambda calculus

===== Seminar of the proofs and algorithms pole =====

Details: https://www.lix.polytechnique.fr/proofs-algorithms/seminar/


-------

https://samvangool.net/assets/jpg/sam.jpg