We stand with Ukraine  

Sébastien Hinderer

According to our database1, Sébastien Hinderer authored at least 3 papers between 2007 and 2008.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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).
[BibTeX]
[DOI]
Sébastien Hinderer
PhD thesis, 2008

2007
BrlAPI: Simple, Portable, Concurrent, Application-level Control of Braille Terminals
[BibTeX]
[DOI]
Samuel Thibault
,
Sébastien Hinderer
CoRR, 2007

Generating models for temporal representations
[BibTeX]
[DOI]
Patrick Blackburn
,
Sébastien Hinderer
CoRR, 2007


  Loading...