Παρακολούθηση
Paul-André Melliès
Paul-André Melliès
CNRS, Université Paris Cité
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα irif.fr - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Categorical semantics of linear logic
PA Mellies
Panoramas et syntheses 27, 15-215, 2009
2662009
Concurrent games and full completeness
S Abramsky, PA Mellies
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
2521999
Typed λ-calculi with explicit substitutions may not terminate
PA Mellies
Typed Lambda Calculi and Applications: Second International Conference on …, 1995
2051995
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
2022007
Asynchronous games: Innocence without alternation
PA Melliès, S Mimram
CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007
992007
An abstract standardisation theorem
G Gonthier, JJ Lévy, PA Mellies
1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992
951992
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
882012
Functorial boxes in string diagrams
PA Melliès
CSL 4207, 1-30, 2006
882006
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
842005
Functors are type refinement systems
PA Melliès, N Zeilberger
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
792015
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
782007
Asynchronous games 2: The true concurrency of innocence
PA Melliès
Theoretical Computer Science 358 (2-3), 200-228, 2006
782006
Resource modalities in tensor logic
PA Melliès, N Tabareau
Annals of Pure and Applied Logic 161 (5), 632-653, 2010
732010
Asynchronous games 2: the true concurrency of innocence
PA Mellies
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
712004
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
702005
Towards a formal theory of graded monads
S Fujii, S Katsumata, PA Mellies
Foundations of Software Science and Computation Structures: 19th …, 2016
662016
Game semantics in string diagrams
PA Melliès
2012 27th Annual IEEE Symposium on Logic in Computer Science, 481-490, 2012
622012
Categorical models of linear logic revisited
PA Mellies
592003
Asynchronous games 3 an innocent model of linear logic
PA Melliès
Electronic Notes in Theoretical Computer Science 122, 171-192, 2005
562005
An explicit formula for the free exponential modality of linear logic
PA Melliès, N Tabareau, C Tasson
Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP …, 2009
552009
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20