Jacques Garrigue

Link to my New Page

I am no longer here. Please follow the above link. The old information here is just in case of connection problems.


Now at Kyoto University. Ex-member of the Yonezawa Lab as a PhD candidate, on leave from École Normale Supérieure (Paris), in France.

My research domain includes partially lambda-calculus and type theory. Particularly I am working on the following two calculi.

They are described in detail in my doctor thesis.

Sometimes I am lazy enough to program. Here is the result of my production.

Here is a bunch of links that I keep here for personal use.
[EM] Send me a letter.
[YL] YL Home Page
JG 95.2.10