Lukas Heidemann

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Quantum Mechanics

Spreading Activation

Category Labels

Additional Features

Top Venues

Publications

Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary
homotopy.io: a proof assistant for finitely-presented globular n-categories. CoRR (2024)
Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary
homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories. FSCD (2024)
Lukas Heidemann
Framed Combinatorial Topology with Labels in ∞-Categories. CoRR (2023)
Lukas Heidemann, David Reutter, Jamie Vicary
Zigzag normalisation for associative n-categories. CoRR (2022)
Seyon Sivarajah, Lukas Heidemann, Alan Lawrence, Ross Duncan
Tierkreis: A Dataflow Framework for Hybrid Quantum-Classical Computing. CoRR (2022)
Lukas Heidemann, David Reutter, Jamie Vicary
Zigzag normalisation for associative n-categories. LICS (2022)