Sébastien Hinderer
According to our database1,
Sébastien Hinderer
authored at least 3 papers
between 2007 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
2007
2008
0
1
2
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
Automatisation de la Construction Sémantique dans le Lambda Calcul Simplement Typé avec plusieurs Types de base. (Automating Semantic Construction in Simply Typed Lambda Calculus with Several Atomic Types).
PhD thesis, 2008
2007
CoRR, 2007