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