Victor Arrial

I was a PhD student working on Meaningfulness in the lambda!-calculus under the direction of Delia Kesner (Université Paris Cité, CNRS, IRIF, France) and Giulio Guerrieri (University of Sussex, Brighton, United Kingdom). I am now a postdoctoral researcher working with Ugo Dal Lago (University of Bologna, Bologna, Italy).

My research interests lie in lambda!-calculus, lambda-mu-calculus, explicit substitutions, reduction strategies, quantitative typing, inhabitation, Böhm approximants and trees, Taylor expansion ...