Axel Kerinec

I am a PhD student in the Love team at the Laboratoire d'Informatique de Paris Nord
of Université Sorbonne Paris Nord under the direction of G. Manzonetto.

I am currently working on Call-by-Value lambda calculus. In particular trying to find fully abstract models for this setting.