The following pages link to Paul-André Melliès (Q345706):
Displaying 8 items.
- A micrological study of negation (Q345707) (← links)
- Monads with arities and their associated theories (Q456883) (← links)
- Dialogue categories and chiralities (Q502131) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- Categorical combinatorics for non deterministic strategies on simple games (Q1652966) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311491) (← links)
- Relational semantics of linear logic and higher-order model-checking (Q5351962) (← links)
- Parsing as a lifting problem and the Chomsky-Sch\"utzenberger representation theorem (Q6420878) (← links)
