Conference: HDRA 2018 (Higher-Dimensional Rewriting and Applications)

Conference: HDRA 2018 (Higher-Dimensional Rewriting and Applications)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Minimal models for monomial algebras

Minimal models for monomial algebras

Generalizations of the associative operad and convergent rewrite systems

Generalizations of the associative operad and convergent rewrite systems

Cyrille Chenavier, Christophe Cordero and Samuele Giraudo

Merge-bicategories: towards semi-strictification of higher categories

Merge-bicategories: towards semi-strictification of higher categories

Amar Hadzihasanovic

The equivalence between opetopic sets and many-to-one polygraphs

The equivalence between opetopic sets and many-to-one polygraphs

Cédric Ho Thanh

Minimal Bacus FP is Turing Complete

Minimal Bacus FP is Turing Complete

Richard Statman

Presentations in this collection: 5