FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

B
Benjamin, Thibaut	Towards a fully formalized definition of syllepsis in weak higher categories
C
Chenavier, Cyrille	Generalizations of the associative operad and convergent rewrite systems
Cordero, Christophe	Generalizations of the associative operad and convergent rewrite systems
D
Delpeuch, Antonin	Normal forms for planar connected string diagrams
Dupont, Benjamin	Termination in linear (2,2)-categories with braidings and duals
G
Giraudo, Samuele	Generalizations of the associative operad and convergent rewrite systems
H
Hadzihasanovic, Amar	Merge-bicategories: towards semi-strictification of higher categories
Hage, Nohra	String data structures for Chinese monoids
Ho Thanh, Cédric	The equivalence between opetopic sets and many-to-one polygraphs
N
North, Paige	A homotopy type theory for directed homotopy theory
R
Riehl, Emily	Homotopy coherent adjunctions and other structures
S
Statman, Richard	Minimal Bacus FP is Turing Complete
T
Tamaroff, Pedro	Minimal models for monomial algebras
V
Vicary, Jamie	Normal forms for planar connected string diagrams

Disclaimer | Powered by EasyChair Smart Program