Search results for: Sylvain Salvati
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 61-75
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 344-355
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Tutorials and Invited Talks > 48-60
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 4. Lambda Calculus > 151-165
Journal of Computer and System Sciences > 2015 > 81 > 7 > 1252-1277
Information and Computation > 2015 > 243 > C > 205-221
Information and Computation > 2014 > 239 > Complete > 340-355
Theory of Computing Systems > 2014 > 55 > 1 > 250-278
Journal of Logic, Language and Information > 2010 > 19 > 2 > 185-200
Journal of Logic, Language and Information > 2010 > 19 > 2 > 163-183