Axel Kerinec

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 6

Top Topics

Qualitative Spatial

Multitask Learning

Automated Deduction

Top Venues

Proc. ACM Program. Lang.

BlackboxNLP@EMNLP

Publications

Axel Kerinec, Giulio Manzonetto, Federico Olimpieri
Why Are Proofs Relevant in Proof-Relevant Models? Proc. ACM Program. Lang. 7 (POPL) (2023)
Axel Kerinec, Lionel Vaux Auclair
The algebraic λ-calculus is a conservative extension of the ordinary λ-calculus. CoRR (2023)
Axel Kerinec, Giulio Manzonetto, Simona Ronchi Della Rocca
Call-By-Value, Again! FSCD (2021)
Axel Kerinec, Giulio Manzonetto, Michele Pagani
Revisiting Call-by-value Böhm trees in light of their Taylor expansion. Log. Methods Comput. Sci. 16 (3) (2020)
Axel Kerinec, Giulio Manzonetto, Michele Pagani
Revisiting Call-by-value Bohm trees in light of their Taylor expansion. CoRR (2018)
Axel Kerinec, Chloé Braud, Anders Søgaard
When does deep multi-task learning work for loosely related document classification tasks? BlackboxNLP@EMNLP (2018)