Hatem Elshatlawy

Follow

Generating author description...

Common Coauthors
Coauthor Papers Together
Xerxes D. Arsiwalla 4
Jonathan Gorard 2
Dean Rickles 2
Commonly Cited References
Action Title Year Authors # of times referenced
+ PDF Chat Lectures on N-Categories and Cohomology 2009 John C. Baez
Michael Shulman
1
+ Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing 2012 Aleks Kissinger
1
+ PDF Chat Homotopy Type Theory: The Logic of Space 2021 Michael Shulman
1
+ A type theory for synthetic ∞-categories 2017 Emily Riehl
Michael Shulman
1
+ PDF Chat Compositionality of Rewriting Rules with Conditions 2021 Nicolas Behr
Jean Krivine
1
+ PDF Chat Some Relativistic and Gravitational Properties of the Wolfram Model 2020 Jonathan Gorard
1
+ PDF Chat A Class of Models with the Potential to Represent Fundamental Physics 2020 Stephen Wolfram
1
+ PDF Chat Interacting quantum observables: categorical algebra and diagrammatics 2011 Bob Coecke
Ross Duncan
1
+ Algorithmic Causal Sets and the Wolfram Model 2020 Jonathan Gorard
1
+ The Univalence Principle. 2021 Benedikt Ahrens
Paige Randall North
Michael Shulman
Dimitris Tsementzis
1
+ ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification 2021 Jonathan Gorard
Manojna Namuduri
Xerxes D. Arsiwalla
1
+ PDF Chat Quantum Gauge Field Theory in Cohesive Homotopy Type Theory 2014 Urs Schreiber
Michael Shulman
1
+ PDF Chat String diagram rewrite theory II: Rewriting with symmetric monoidal structure 2022 Filippo Bonchi
Fabio Gadducci
Aleks Kissinger
Paweł Sobociński
Fabio Zanasi
1
+ PDF Chat Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types 2024 Xerxes D. Arsiwalla
Jonathan Gorard
1