Anthony Bordg

Identifiers

No identifiers captured yet.

Papers (3)

1. The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data cs.AI · 2026 · author #1
2. On a model invariance problem in Homotopy Type Theory math.CT · 2017 · author #1
3. On lifting univalence to the equivariant setting math.CT · 2015 · author #1

Mentions

No mention provenance yet.