◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Matthijs Vákár

5 papers hereh-index 8306 citations20 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author4
  • last author1

Across the 5 of 5 papers where every author was matched, so the position is known.

fields
  • cs.LO2
  • math-ph2
  • stat.ME1
same name
  • Matthijs Vákár — 3 papers, h 2

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

most citedSyntax and Semantics of Linear Dependent Types

13 citations · 14 across the 4 of their papers we have counts for

collaborators
Showing math-phShow all

2 papers · 1 filter

math-ph2026★ 1 cited

Topos-Theoretic Approaches to Quantum Theory

Matthijs Vákár

This review paper surveys work by Isham, Butterfield, Döring, Landsman, Spitters, Heunen, and others on topos-theoretic analyses of quantum theory. It aims to provide a synthesize…

math-ph2026

Principal Bundles and Gauge Theories

Matthijs Vákár

This set of lecture notes first gives an introduction to the geometry of principal bundles. Next, it demonstrates how they can be used to formalize the concept of gauge theories ar…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.