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.

[DOI]

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

2021

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

[DOI]

PhD thesis, 2021

2019

Describing free $\omega$ -categories.

[DOI]

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

2018

Coherence of Gray Categories via Rewriting.

[DOI]

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