Simon Forest

Affiliations:

According to our database¹, Simon Forest authored at least 4 papers between 2018 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Rewriting in Gray categories with applications to coherence.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., May, 2022

2021

Computational descriptions of higher categories. (Descriptions calculatoires de catégories supérieures).

[BibT_eX]

[DOI]

PhD thesis, 2021

2019

Describing free $\omega$ -categories.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Coherence of Gray Categories via Rewriting.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018