Pieter Hofstra
Identifiers
- name variant Pieter Hofstra 0.60 · backfill
Papers (2)
- Combinatorial realizability models of type theory math.LO · 2012 · author #1
- Martin-L\"of Complexes math.LO · 2009 · author #2
Mentions
Frequent Coauthors
- Michael A. Warren 2 shared papers
- Steve Awodey 1 shared papers