Lukas Heidemann

According to our database, Lukas Heidemann authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

2024

homotopy.io: a proof assistant for finitely-presented globular n-categories.

Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary

CoRR, 2024

2023

Framed Combinatorial Topology with Labels in ∞-Categories.

Lukas Heidemann

CoRR, 2023

2022

Tierkreis: A Dataflow Framework for Hybrid Quantum-Classical Computing.

Seyon Sivarajah, Lukas Heidemann, Alan Lawrence, Ross Duncan

CoRR, 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