Announcement_1
Mon premier papier, avec Paolo Pistone intitulé “The Lambda Calculus can be Quantified” (le Lambda Calcul peut être Quantifié) viens d’être accepté à CSL 2025! 
♪┏(・o･)┛♪┗ ( ･o･) ┓♪
Mon premier papier, avec Paolo Pistone intitulé “The Lambda Calculus can be Quantified” (le Lambda Calcul peut être Quantifié) viens d’être accepté à CSL 2025! ♪┏(・o･)┛♪┗ ( ･o･) ┓♪