Suivre
Paul-André Melliès
Paul-André Melliès
CNRS, Université Paris Cité
Adresse e-mail validée de irif.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Categorical semantics of linear logic
PA Mellies
Panoramas et syntheses 27, 15-215, 2009
2992009
Concurrent games and full completeness
S Abramsky, PA Mellies
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
2541999
A very modal model of a modern, major, general type system
AW Appel, PA Mellies, CD Richards, J Vouillon
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
2102007
Typed λ-calculi with explicit substitutions may not terminate
PA Mellies
International Conference on Typed Lambda Calculi and Applications, 328-334, 1995
2071995
Asynchronous games: Innocence without alternation
PA Melliès, S Mimram
International Conference on Concurrency Theory, 395-411, 2007
1042007
Monads with arities and their associated theories
C Berger, PA Mellies, M Weber
Journal of Pure and Applied Algebra 216 (8-9), 2029-2048, 2012
992012
An abstract standardisation theorem
G Gonthier, JJ Lévy, PA Mellies
1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992
971992
Functorial boxes in string diagrams
PA Melliès
International Workshop on Computer Science Logic, 1-30, 2006
932006
Functors are type refinement systems
PA Melliès, N Zeilberger
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
852015
Resource modalities in tensor logic
PA Melliès, N Tabareau
Annals of Pure and Applied Logic 161 (5), 632-653, 2010
822010
Asynchronous games 4: A fully complete model of propositional linear logic
PA Mellies
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 386-395, 2005
822005
Categorical combinatorics for innocent strategies
R Harmer, M Hyland, PA Mellies
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 379-388, 2007
802007
Asynchronous games 2: The true concurrency of innocence
PA Melliès
Theoretical Computer Science 358 (2-3), 200-228, 2006
802006
Towards a formal theory of graded monads
S Fujii, S Katsumata, PA Melliès
International Conference on Foundations of Software Science and Computation …, 2016
792016
Asynchronous games 2: the true concurrency of innocence
PA Mellies
International Conference on Concurrency Theory, 448-465, 2004
702004
Recursive polymorphic types and parametricity in an operational framework
PA Mellies, J Vouillon
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 82-91, 2005
682005
Game semantics in string diagrams
PA Melliès
2012 27th Annual IEEE Symposium on Logic in Computer Science, 481-490, 2012
652012
Categorical models of linear logic revisited
PA Mellies
592003
An explicit formula for the free exponential modality of linear logic
PA Melliès, N Tabareau, C Tasson
International Colloquium on Automata, Languages, and Programming, 247-260, 2009
562009
Asynchronous games 3 an innocent model of linear logic
PA Melliès
Electronic Notes in Theoretical Computer Science 122, 171-192, 2005
552005
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20