I'll be at the Coinduction in Type Theory summer school at the beginning of July! Feel free to say hi.
- Bureau B320
Université Paris 13
99, avenue Jean-Baptiste Clément
Currently only in French CV.
An english version is comming soon!
This page usese nanoc and is hosted by the LIPN.