The following pages link to Christophe Fouqueré (Q280842):
Displaying 14 items.
- Formal ontologies and coherent spaces (Q280844) (← links)
- Incarnation in Ludics and maximal cliques of paths (Q2851674) (← links)
- Rewritings for Polarized Multiplicative and Exponential Proof Structures (Q2870318) (← links)
- Un cadre formel issu de la théorie de la démonstration pour la théorie de l’argumentation (Q2917731) (← links)
- Ludics and Web: Another Reading of Standard Operations (Q3080086) (← links)
- Ontologies and Coherence Spaces (Q3080096) (← links)
- Tree Components Programming: An Application to XML (Q3525081) (← links)
- A Logical Calculus for Modelling Interferences (Q3525086) (← links)
- (Q4222827) (← links)
- Linear Logic and Exceptions (Q4323006) (← links)
- (Q4370236) (← links)
- (Q4643962) (← links)
- (Q4842973) (← links)
- Ludics and Natural Language: First Approaches (Q4981244) (← links)
