Reasearch

Publications

• The algebraic λ-calculus is a conservative extension of the ordinary λ-calculus
  • with Lionel Vaux Auclair
  • at the 11th International Workshop on Higher-Order Rewriting
• Why are proofs relevant in proof-relevant models?
  • with Giulio Manzonetto and Federico Olimpieri
  • in Principles of Programming Languages, PACMPL, 2023
• Call-By-Value, Again!
  • with Giulio Manzonetto and Simona Ronchi Della Rocca
  • in Proc. of Formal Structures for Computation and Deduction 2021
• Revisiting Call-by-Value Böhm trees in light of their Taylor expansion
  • with Giulio Manzonetto and Michela Pagani
  • in Volume 16, Issue 3, Logical Methods in Computer Science, 2020.
• When does deep multi-task learning work for loosely related document classification tasks?
  • with Anders Søgaard and Chloe Braud
  • at the Proceedings of the 2018 EMNLP Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP

Presentations