pith. sign in

Maximilian Petrowitsch

Identifiers

No identifiers captured yet.

Papers (1)

  1. Elementary $\infty$-toposes from type theory math.CT · 2025 · author #1

Mentions

No mention provenance yet.