SU\G(𝔸)/K·U

Author Description

Login to generate an author description

Ask a Question About This Mathematician

All published works (47)

Action Title Date Authors
+ PDF Ask
Classical notions of computation and the Hasegawa-Thielecke theorem 2025-02-18 Éléonore Mangel Paul-André Melliès Guillaume Munch-Maccagnoni
+ PDF Ask
The categorical contours of the Chomsky-Schützenberger representation theorem 2023-12-29 Paul-André Melliès Noam Zeilberger
+ PDF Ask
Profinite lambda-terms and parametricity 2023-11-23 Sam van Gool Paul-André Melliès Vincent Moreau
+ PDF Ask
Parsing as a lifting problem and the Chomsky-Sch\"utzenberger representation theorem 2023-02-22 Paul-André Melliès Noam Zeilberger
+ PDF Ask
Profinite lambda-terms and parametricity 2023-01-01 Sam van Gool Paul-André Melliès Vincent Moreau
+ PDF Ask
Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem 2022-07-11 Paul-André Melliès Noam Zeilberger
+ PDF Ask
Asynchronous Template Games and the Gray Tensor Product of 2-Categories 2021-06-29 Paul-André Melliès
+ PDF Ask
Concurrent Separation Logic Meets Template Games 2020-05-26 Paul-André Melliès Léo Stefanesco
+ PDF Ask
On bifibrations of model categories 2020-05-13 Pierre Cagne Paul-André Melliès
+ PDF Ask
Comprehension and quotient structures in the language of 2-categories 2020-01-01 Paul-André Melliès Nicolas Rolland
+ PDF Ask
An Asynchronous soundness theorem for concurrent separation logic 2018-07-21 Paul-André Melliès Léo Stefanesco
+ PDF Ask
An Asynchronous Soundness Theorem for Concurrent Separation Logic 2018-06-27 Paul-André Melliès Léo Stefanesco
+ PDF Ask
Ribbon Tensorial Logic 2018-06-27 Paul-André Melliès
+ PDF Ask
A Game Semantics of Concurrent Separation Logic 2018-04-01 Paul-André Melliès Léo Stefanesco
+ PDF Ask
An Asynchronous soundness theorem for concurrent separation logic 2018-01-01 Paul-André Melliès Léo Stefanesco
+
A Game Semantics of Concurrent Separation Logic 2017-10-06 Paul-André Melliès Léo Stefanesco
+ PDF Ask
On bifibrations of model categories 2017-09-29 Pierre Cagne Paul-André Melliès
+ PDF Ask
An Isbell duality theorem for type refinement systems 2017-03-20 Paul-André Melliès Noam Zeilberger
+ PDF Ask
On bifibrations of model categories 2017-01-01 Pierre Cagne Paul-André Melliès
+ PDF Ask
A Game Semantics of Concurrent Separation Logic 2017-01-01 Paul-André Melliès Léo Stefanesco
+ PDF Ask
Five Basic Concepts of Axiomatic Rewriting Theory. 2016-09-27 Paul-André Melliès
+ PDF Ask
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine 2016-07-05 Paul-André Melliès Noam Zeilberger
+
Towards a Formal Theory of Graded Monads 2016-01-01 Soichiro Fujii Shin-ya Katsumata Paul-André Melliès
+ PDF Ask
Five Basic Concepts of Axiomatic Rewriting Theory 2016-01-01 Paul-André Melliès
+ PDF Ask
Indexed linear logic and higher-order model checking 2015-03-14 Charles Grellois Paul-André Melliès
+ PDF Ask
Finitary semantics of linear logic and higher-order model-checking 2015-02-18 Charles Grellois Paul-André Melliès
+ PDF Ask
Isbell Duality for Refinement Types. 2015-01-21 Paul-André Melliès Noam Zeilberger
+ PDF Ask
Tensorial logic with colours and higher-order model checking. 2015-01-20 Charles Grellois Paul-André Melliès
+ PDF Ask
Relational semantics of linear logic and higher-order model-checking 2015-01-01 Charles Grellois Paul-André Melliès
+ PDF Ask
Finitary Semantics of Linear Logic and Higher-Order Model-Checking 2015-01-01 Charles Grellois Paul-André Melliès
+ PDF Ask
Finitary semantics of linear logic and higher-order model-checking 2015-01-01 Charles Grellois Paul-André Melliès
+ PDF Ask
An infinitary model of linear logic 2014-11-17 Charles Grellois Paul-André Melliès
+ PDF Ask
An infinitary model of linear logic 2014-01-01 Charles Grellois Paul-André Melliès
+ PDF Ask
Type refinement and monoidal closed bifibrations 2013-01-01 Paul-André Melliès Noam Zeilberger
+
Dialogue Categories and Frobenius Monoids 2013-01-01 Paul-André Melliès
+ PDF Ask
Monads with arities and their associated theories 2012-04-10 Clemens Berger Paul-André Melliès Mark Weber
+ PDF Ask
Segal Condition Meets Computational Effects 2010-07-01 Paul-André Melliès
+ PDF Ask
Free models of T-algebraic theories computed as Kan extensions 2008-01-01 Paul-André Melliès Nicolas Tabareau
+ PDF Ask
Asynchronous Games: Innocence Without Alternation 2007-08-18 Paul-André Melliès Samuel Mimram
+ PDF Ask
Resource modalities in game semantics 2007-05-03 Paul-André Melliès Nicolas Tabareau
+ PDF Ask
Resource modalities in game semantics 2007-05-03 Paul-André Melliès Nicolas Tabareau
+ PDF Ask
Resource modalities in game semantics 2007-01-01 Paul-André Melliès Nicolas Tabareau
+ PDF Ask
Linear continuations and duality 2007-01-01 Paul-André Melliès Nicolas Tabareau
+ PDF Ask
A topological correctness criterion for non-commutative logic 2004-01-01 Paul-André Melliès
+ PDF Ask
Mac Lane's coherence theorem expressed as a word problem 2003-10-01 Paul-André Melliès
+
Axiomatic Rewriting Theory VI: Residual Theory Revisited 2002-01-01 Paul-André Melliès
+
A factorisation theorem in rewriting theory 1997-01-01 Paul-André Melliès

Common Coauthors

Coauthor Papers Together
Charles Grellois 8
Noam Zeilberger 7
Léo Stefanesco 7
Nicolas Tabareau 5
Pierre Cagne 3
Vincent Moreau 2
Sam van Gool 2
Clemens Berger 1
Mark Weber 1
Éléonore Mangel 1
Shin-ya Katsumata 1
Samuel Mimram 1
Guillaume Munch-Maccagnoni 1
Nicolas Rolland 1
Soichiro Fujii 1

Commonly Cited References

Action Title Date Authors # of times referenced
+
The formal theory of monads II 2002-11-01 Stephen Lack Ross Street 4
+ PDF Ask
Finitary Semantics of Linear Logic and Higher-Order Model-Checking 2015-01-01 Charles Grellois Paul-André Melliès 4
+ PDF Ask
Games and full completeness for multiplicative linear logic 1994-06-01 Samson Abramsky Radha Jagadeesan 4
+ PDF Ask
Categories for the Working Mathematician 1971-01-01 Saunders Mac Lane 4
+
Braided Tensor Categories 1993-11-01 André Joyal Ross Street 3
+ PDF Ask
Sequentiality vs. concurrency in games and logic 2003-08-01 Samson Abramsky 3
+
Premonoidal categories and notions of computation 1997-10-01 John Power E. Powell Robinson 3
+ PDF Ask
Higher Operads, Higher Categories 2004-07-22 Tom Leinster 3
+
Traced monoidal categories 1996-04-01 André Joyal Ross Street Dominic Verity 3
+ PDF Ask
Recognisable languages over monads 2015-01-01 Mikołaj Bojańczyk 2
+ PDF Ask
Reiterman’s Theorem on Finite Algebras for a Monad 2021-09-08 Jiřı́ Adámek Liang-Ting Chen Stefan Milius Henning Urbat 2
+ PDF Ask
Stone duality, topological algebra, and recognition 2016-01-05 Mai Gehrke 2
+
Introduction to bicategories 1967-01-01 Jean Bénabou 2
+ PDF Ask
De l'opérateur de trace dans les jeux de Conway 2006-07-19 Nicolas Tabareau 2
+ PDF Ask
A Survey of Graphical Languages for Monoidal Categories 2010-01-01 Peter Selinger 2
+ PDF Ask
Implicit automata in typed $λ$-calculi II: streaming transducers vs categorical semantics 2020-01-01 Lê Thành Dũng Nguyễn Camille Noûs Pierre Pradic 2
+
Familial 2-functors and parametric right adjoints 2007-01-01 Mark Weber 2
+ PDF Ask
Asynchronous Games: Innocence Without Alternation 2007-08-18 Paul-André Melliès Samuel Mimram 2
+
A Cellular Nerve for Higher Categories 2002-07-01 Clemens Berger 2
+ PDF Ask
Control categories and duality: on the categorical semantics of the lambda-mu calculus 2001-04-01 Peter Selinger 2
+ PDF Ask
Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract) 2011-02-01 André Joyal Joachim Kock 2
+ PDF Ask
Using Models to Model-Check Recursive Schemes 2013-01-01 Sylvain Salvati Igor Walukiewicz 2
+ PDF Ask
Simple game semantics and Day convolution 2018-01-01 Clovis Eberhart Tom Hirschowitz Alexis Laouar 2
+
Profinite Semigroups and Symbolic Dynamics 2020-01-01 Jorge Almeida Alfredo Costa Revekka Kyriakoglou Dominique Perrin 2
+ PDF Ask
A Semantic Formulation of ⊤ ⊤-Lifting and Logical Predicates for Computational Metalanguage 2005-01-01 Shin-ya Katsumata 2
+ PDF Ask
Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties 2021-04-30 Christopher H. Broadbent Arnaud Carayol C.-H. Luke Ong Olivier Serre 2
+
Tortile tensor categories 1994-04-01 Mei Chee Shum 2
+
The geometry of tensor calculus, I 1991-07-01 André Joyal Ross Street 2
+
Yoneda structures on 2-categories 1978-02-01 Ross Street R. F. C. Walters 2
+ PDF Ask
An Isbell duality theorem for type refinement systems 2017-03-20 Paul-André Melliès Noam Zeilberger 2
+
Lawvere theories enriched over a general base 2008-07-31 Koki Nishizawa John Power 2
+ PDF Ask
Execution Time of lambda-Terms via Denotational Semantics and Intersection Types 2009-01-01 Daniel de Carvalho 2
+
Fixed-point operations on ccc's. Part I 1996-02-01 Stephen L. Bloom Zoltán Ésik 2
+
Categories of continuous functors, I 1972-09-01 Peter Freyd G. M. Kelly 2
+ PDF Ask
Classifying spaces and spectral sequences 1968-01-01 Graeme Segal 2
+
Profinite Methods in Automata Theory 2009-02-26 Jean-Éric Pin 2
+ PDF Ask
Relational semantics of linear logic and higher-order model-checking 2015-01-01 Charles Grellois Paul-André Melliès 2
+ PDF Ask
Segal Condition Meets Computational Effects 2010-07-01 Paul-André Melliès 2
+
Coherence for compact closed categories 1980-12-01 G. M. Kelly Miguel L. Laplaza 2
+
Profinite semigroups and applications 2006-01-17 Jorge Almeida 2
+ PDF Ask
A Game Semantics of Concurrent Separation Logic 2018-04-01 Paul-André Melliès Léo Stefanesco 2
+
Pseudo-commutative monads and pseudo-closed 2-categories 2002-11-01 Martin Hyland John Power 2
+
Ordinal sums and equational doctrines 1969-01-01 F. William Lawvere 2
+ PDF Ask
Independence and concurrent separation logic 2008-03-19 Jonathan Hayman Glynn Winskel 2
+ PDF Ask
La théorie de l'homotopie de Grothendieck 2018-11-06 Georges Maltsiniotis 1
+
The petit topos of globular sets 2000-12-01 Ross Street 1
+
Model Categories and Their Localizations 2009-08-24 Philip Hirschhorn 1
+
Adjoint Lifting Theorems for Categories of Algebras 1975-11-01 Peter Johnstone 1
+
Geometry of Interaction 1: Interpretation of System F 1989-01-01 Jean-Yves Girard 1
+
Lifting results for categories of algebras 2002-05-01 P. S. Mulry 1