Antoine Madet
According to our database1,
Antoine Madet
authored at least 7 papers
between 2009 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
0
1
2
3
4
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013
2012
Implicit Complexity in Concurrent Lambda-Calculi. (Complexité Implicite de Lambda-Calculs Concurrents).
PhD thesis, 2012
Proceedings of the Principles and Practice of Declarative Programming, 2012
Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012
2011
Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011
2009
CoRR, 2009