Shared publicly  - 
 
I'm a doctor ! “Namely, Painless: A unifying approach to … syntax”. The thesis, slides and Agda dev. are on http://nicolaspouillard.fr/
28
Paul Brauner's profile photoThierry Martinez's profile photoNicolas Pouillard's profile photoJean-Philippe Bernardy's profile photo
14 comments
 
Congratulation! I really like your work on binders and I'm glad to see it summarized in one place.
 
The links to the slides lead to 404 errors.
 
Félicitations! Encore désolé de ne pas avoir pu venir. A bientôt!
Translate
 
Actually, was the defence recorded? +Arnaud Spiwack put his online recently and I think it's a great way for people to get a smooth introduction to the manuscript.
Translate
Translate
 
un peu en retard, mais felicitations quand meme!
Translate
Add a comment...