Search results for: Stéphane Lengrand
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 380-394
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Type Theory > 88-107
Information and Computation > 2009 > 207 > 12 > 1369-1400
Annals of Pure and Applied Logic > 2008 > 153 > 1-3 > 3-20
Electronic Notes in Theoretical Computer Science > 2008 > 196 > Complete > 19-35
Information and Computation > 2007 > 205 > 4 > 419-473