Axel Kerinec

According to our database, Axel Kerinec authored at least 6 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Why Are Proofs Relevant in Proof-Relevant Models?

Axel Kerinec, Giulio Manzonetto, Federico Olimpieri

Proc. ACM Program. Lang., January, 2023

A story of lambda-calculus and approximation. (Une histoire de lambda-calcul et d'approximation).

Axel Kerinec

PhD thesis, 2023

The algebraic λ-calculus is a conservative extension of the ordinary λ-calculus.

Axel Kerinec, Lionel Vaux Auclair

CoRR, 2023

2021

Call-By-Value, Again!

Axel Kerinec, Giulio Manzonetto, Simona Ronchi Della Rocca

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

Revisiting Call-by-value Böhm trees in light of their Taylor expansion.

Axel Kerinec, Giulio Manzonetto, Michele Pagani

Log. Methods Comput. Sci., 2020

2018

When does deep multi-task learning work for loosely related document classification tasks?

Axel Kerinec, Chloé Braud, Anders Søgaard

Proceedings of the Workshop: Analyzing and Interpreting Neural Networks for NLP, 2018