Paul-André Melliès

发表

Jean-Jacques Lévy, Georges Gonthier, Paul-André Melliès, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Benjamin Werner, Paul-André Melliès, Paul-André Melliès, 1996, TYPES.
Paul-André Melliès, 2009 .
Paul-André Melliès, 2004 .
Nicolas Tabareau, Paul-André Melliès, Christine Tasson, 2009, Mathematical Structures in Computer Science.
Paul-André Melliès, J. Baez, 2010 .
Paul-André Melliès, Charles Grellois, 2015, ArXiv.
Paul-André Melliès, N. Zeilberger, 2022, Electronic Notes in Theoretical Informatics and Computer Science.
Paul-André Melliès, Paul-André Melliès, 1998, ICALP.
Noam Zeilberger, Paul-André Melliès, Paul-André Melliès, 2015, POPL.
Gilles Barthe, Paul-André Melliès, G. Barthe, 1996, CSL.
Andrew W. Appel, Jérôme Vouillon, Christopher D. Richards, 2007, POPL '07.
Paul-André Melliès, Paul-André Melliès, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Paul-Andr'e Mellies, L'eo Stefanesco, Paul-André Melliès, 2020, LICS.
Paul-André Melliès, Léo Stefanesco, Paul-André Melliès, 2018, LICS.
Clemens Berger, Paul-André Melliès, C. Berger, 2011, 1101.3064.
Shin-ya Katsumata, Paul-André Melliès, Soichiro Fujii, 2016, FoSSaCS.
Russell Harmer, Martin Hyland, Paul-André Melliès, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Nicolas Tabareau, Paul-André Melliès, Paul-André Melliès, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Paul-André Melliès, Paul-André Melliès, 2005, Processes, Terms and Cycles.
Paul-André Melliès, Paul-André Melliès, 2006, Theor. Comput. Sci..
Paul-André Melliès, Paul-André Melliès, 2018, LICS.
Paul-André Melliès, Paul-André Melliès, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Paul-André Melliès, Paul-André Melliès, 2013, Computation, Logic, Games, and Quantum Foundations.
Paul-André Melliès, Paul-André Melliès, 2005, Theor. Comput. Sci..
Paul-André Melliès, Paul-André Melliès, 2016 .
Paul-André Melliès, Paul-André Melliès, 2004 .
Noam Zeilberger, Paul-André Melliès, Paul-André Melliès, 2015, Mathematical Structures in Computer Science.
Paul-André Melliès, Paul-André Melliès, 2015, Mathematical Structures in Computer Science.
Nicolas Tabareau, Paul-André Melliès, Paul-André Melliès, 2010, Ann. Pure Appl. Log..
Paul-André Melliès, Paul-André Melliès, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Nicolas Tabareau, Paul-André Melliès, Paul-André Melliès, 2008 .