Axel Ljungstr\"om

Identifiers

• name variant Axel Ljungstr\"om 0.60 · backfill

Papers (1)

1. The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory math.CT · 2026 · author #3

Mentions

• 2601.21843 #3 · arxiv_oai · confidence 0.70 Axel Ljungstr\"om

Frequent Coauthors

• Nicolai Kraus 1 shared papers
• Tom de Jong 1 shared papers