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
Nicolas Pouillard's profile photoDamien Thivolle's profile photoAndreas Abel's profile photoAdrien Haxaire'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...