Marc

Lyon, France

I'm very interested in type theory.