Luc Pellissier

I am a third year PhD student in the Lo♥Ve team, under the joint supervision of Damiano Mazza and Stefano Guerrini.


I'll be at the Coinduction in Type Theory summer school at the beginning of July! Feel free to say hi.

Contact information


Currently only in French CV.

An english version is comming soon!


All my publications are available on HAL.

This page usese nanoc and is hosted by the LIPN.