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