Quoi de neuf?
| 25 Oct 2024 | 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･) ┓♪ |
|---|
| 25 Oct 2024 | 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･) ┓♪ |
|---|