Media Summary: aboutlogic In this episode of aboutlogic, we're joined by , a senior scientist at New York University Abu Dhabi ... Topos Institute Colloquium, 24th of August 2023. (Re-uploaded due to a technical issue) ——— The intricacies of realistic ... Note: This talk ends prematurely due to internet connectivity issues. The speaker will return to the Topos Colloquium to complete ...
Urs Schreiber Topological Quantum Programming Via Linear Homotopy Types - Detailed Analysis & Overview
aboutlogic In this episode of aboutlogic, we're joined by , a senior scientist at New York University Abu Dhabi ... Topos Institute Colloquium, 24th of August 2023. (Re-uploaded due to a technical issue) ——— The intricacies of realistic ... Note: This talk ends prematurely due to internet connectivity issues. The speaker will return to the Topos Colloquium to complete ... This is the (pre-)recorded talk contribution to the workshop "PlanQC 2022" ( by lightning talk at "AI & Evolution Gathering" organized by Softmax @ The Royal Institution, London (22 May 2025) --- for details see: ... This talk was part of the Thematic Programme on "Higher Structures and Field Theory" held at the ESI August 1 to 26, 2022.
