David Reutter

According to our database, David Reutter authored at least 7 papers between 2017 and 2022.

Collaborative distances:

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

2022

Zigzag normalisation for associative n-categories.

Lukas Heidemann, David Reutter, Jamie Vicary

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

A Type Theory for Strictly Unital ∞-Categories.

Eric Finster, David Reutter, Jamie Vicary, Alex Rice

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2020

A Type Theory for Strictly Unital ∞-Categories.

Eric Finster, David Reutter, Jamie Vicary

CoRR, 2020

2019

A classical groupoid model for quantum networks.

David Reutter, Jamie Vicary

Log. Methods Comput. Sci., 2019

High-level methods for homotopy construction in associative n-categories.

David Reutter, Jamie Vicary

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

2017

Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract).

David Reutter, Jamie Vicary

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

A 2-Categorical Approach to Composing Quantum Structures.

David Reutter, Jamie Vicary

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017