Thomas Cottrell

According to our database, Thomas Cottrell authored at least 2 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Hom weak ω-categories of a weak ω-category.

Thomas Cottrell, Soichiro Fujii

Math. Struct. Comput. Sci., April, 2022

2018

Higher Dimensional Categories: Induction on Extensivity.

Thomas Cottrell, Soichiro Fujii, John Power

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018