News

25 Oct 2024 My paper with Paolo Pistone entitled “The Lambda Calculus can be Quantified” just got accepted at CSL 2025! :partying_face: ♪┏(・o･)┛♪┗ ( ･o･) ┓♪