Search results for: Hugo Herbelin
Lecture Notes in Computer Science > Automata, Languages and Programming > Logic and Lambda-Calculus > 871-885
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 209-220
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Contributed Papers > 209-217
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 27-44
Annals of Pure and Applied Logic > 2010 > 161 > 11 > 1367-1378
Higher-Order and Symbolic Computation > 2009 > 22 > 3 > 233-273
Higher-Order and Symbolic Computation > 2007 > 20 > 4 > 403-429