Index of /~mellies/tensorial-logic
Name
Last modified
Size
Description
Parent Directory
-
1-game-semantics-in-string-diagrams.bib
2016-02-06 10:54
360
9-dialogue-categories-and-frobenius-monoids.bib
2016-02-06 10:59
367
11-on-dialogue-games-and-coherent-strategies.bib
2016-02-06 10:55
436
2-dialogue-categories-and-chiralities.bib
2018-06-01 23:28
541
7-ribbon-tensorial-logic.bib
2018-06-01 23:18
568
3-the-parametric-continuation-monad.bib
2016-12-06 15:24
667
old-tensorial-logic.html
2016-02-06 11:10
9.4K
adjunction-string-diagram.jpg
2016-02-06 10:59
11K
tensor.ico
2016-02-06 11:10
21K
adjunction-equality.jpg
2016-02-06 10:59
24K
Abelard-Heloise.jpg
2016-02-06 10:59
39K
Heloise-Abelard.jpg
2016-02-06 11:06
40K
alter-ego.jpg
2016-02-06 10:59
41K
deux-personnages-en-quete-d-auteur.pdf
2016-02-06 11:06
52K
trois-personnages-en-quete-d-auteur.pdf
2016-02-06 11:11
60K
alter-ego.pdf
2016-02-06 10:59
60K
ae.jpg
2016-02-06 10:59
62K
tensor-cotensor.jpg
2016-02-06 11:10
65K
micrological-study-of-helix-negation-1.tex
2016-02-06 11:10
127K
boston2001.pdf
2016-02-06 10:59
130K
Dialogue-Abelard-Heloise.jpg
2016-02-06 11:06
155K
4-microlocal-study-of-negation.tex
2016-02-06 10:57
155K
micrological-study-of-negation-A-4.tex
2016-02-06 11:10
170K
deux-personnages-en-quete-d-auteur.ai
2016-02-06 11:06
218K
alter-ego.ai
2016-02-06 10:59
235K
trois-personnages-en-quete-d-auteur.ai
2016-02-06 11:11
241K
trois-tenseurs-en-quete-d-auteur.pdf
2016-02-06 11:11
254K
8-parametric-monads-and-enriched-adjunctions.pdf
2016-02-06 10:58
263K
ae.ai
2016-02-06 10:59
270K
2-dialogue-categories-and-chiralities.pdf
2018-06-02 09:55
299K
Abelard-Heloise-turn-3.jpg
2016-02-06 10:59
313K
8-tensorial-logic-as-cobordism.pdf
2016-02-06 10:58
320K
dialogue-categories-up-to-deformation.pdf
2016-02-06 11:06
399K
5-micrological-study-of-tortile-negation.pdf
2016-02-06 10:58
433K
7-a-functorial-bridge-between-proofs-and-knots.pdf
2016-02-06 10:58
520K
IHP-higher-order-model-checking.pdf
2016-02-06 11:09
523K
13-dialogue-games-and-coherent-strategies.pdf
2016-02-06 10:55
595K
dialogue-cobordisme-tv.pdf
2016-02-06 11:06
667K
dialogue-cobordisme.pdf
2016-02-06 11:06
669K
11-on-dialogue-games-and-coherent-strategies.pdf
2016-02-06 10:55
691K
11.on-dialogue-games-and-coherent-strategies.pdf
2016-02-06 10:55
691K
5-micrological-study-of-helix-negation.pdf
2016-02-06 10:58
691K
9-dialogue-categories-and-frobenius-algebras.pdf
2016-02-06 10:59
694K
9-dialogue-categories-and-frobenius-monoids.pdf
2016-02-06 10:59
717K
6-braided-notions-of-dialogue-categories.pdf
2016-02-06 10:58
932K
7-ribbon-tensorial-logic.pdf
2018-06-01 23:17
1.2M
1-game-semantics-in-string-diagrams.pdf
2016-02-06 10:55
1.9M
4-algebraic-presentation-of-dialogue-categories.pdf
2016-02-06 10:57
2.0M
3-microlocal-study-of-negation.pdf
2016-02-06 10:56
2.0M
4-micrological-study-of-negation-old.pdf
2016-02-06 10:57
2.1M
4-micrological-study-of-negation-very-old.pdf
2016-09-16 22:43
2.1M
3-the-parametric-continuation-monad.pdf
2016-02-06 10:56
2.1M
3-parametric-continuation-monad.pdf
2016-02-06 10:56
2.2M
4-micrological-study-of-negation.pdf
2016-09-16 22:43
2.2M
tensorial-logic-with-effects.pdf
2016-02-06 11:11
3.9M
hopf-in-lux-2.pdf
2016-02-06 11:08
4.0M
braided-notions-of-dialogue-categories-slides.pdf
2016-02-06 11:00
4.2M
hopf-in-lux-1.pdf
2016-02-06 11:08
11M
jyg60-siena.pdf
2016-02-06 11:10
11M
CSL-final-version-mellies.zip
2016-02-06 11:06
41M
Apache/2.4.56 (Debian) Server at www.irif.fr Port 443