[ Nagoya U. ] ...................... [EN] [FR] [JP]

Jacques Garrigue

addresses : garrigue at math.nagoya-u.ac.jp


History

Now at the Graduate School of Mathematics, Nagoya University.
I was until 2004 at the Kyoto University Research Institute for Mathematical Sciences.
Ex-member of the Yonezawa Lab in the University of Tokyo as a PhD candidate.
Ancien élève of École Normale Supérieure (Paris).

Publications


Projects

Research

My research domain includes partially lambda-calculus and type theory. I have been working on the following subjects.

Academic activity

I am currently involved in the following conferences. Past events:

Others

Sometimes I am lazy enough to program. Here is the result of my production.
[EM] Send me a letter.

JG 2024.8.20