pith. sign in

Andrew M. Pitts

Identifiers

  • name variant Andrew M. Pitts 0.60 · backfill

Papers (11)

  1. Well-Scoped Locally Nameless Representation of Syntax cs.LO · 2026 · author #1
  2. Quotients, inductive types, and quotient inductive types cs.LO · 2021 · author #2
  3. Constructing Infinitary Quotient-Inductive Types cs.LO · 2019 · author #2
  4. Typal Heterogeneous Equality Types cs.LO · 2019 · author #1
  5. Modal Dependent Type Theory and Dependent Right Adjoints cs.LO · 2018 · author #5
  6. Models of Type Theory Based on Moore Paths cs.LO · 2018 · author #2
  7. Internal Universes in Models of Homotopy Type Theory cs.LO · 2018 · author #3
  8. Decomposing the Univalence Axiom cs.LO · 2017 · author #2
  9. Axioms for Modelling Cubical Type Theory in a Topos cs.LO · 2017 · author #2
  10. An Equivalent Presentation of the Bezem-Coquand-Huber Category of Cubical Sets cs.LO · 2014 · author #1
  11. Generative Unbinding of Names cs.PL · 2008 · author #1

Mentions

  • 2101.02994 #2 · arxiv_oai · confidence 0.70 Andrew M. Pitts
  • 1802.05629 #2 · arxiv_oai · confidence 0.70 Andrew M. Pitts
  • 1712.04864 #2 · arxiv_oai · confidence 0.70 Andrew M. Pitts
  • 1911.06899 #2 · arxiv_oai · confidence 0.70 Andrew M. Pitts
  • 1907.07501 #1 · arxiv_oai · confidence 0.70 Andrew M. Pitts
  • 1804.05236 #5 · arxiv_oai · confidence 0.70 Andrew M. Pitts
  • 1801.07664 #3 · arxiv_oai · confidence 0.70 Andrew M. Pitts
  • 1712.04890 #2 · arxiv_oai · confidence 0.70 Andrew M. Pitts
  • 0801.1251 #1 · arxiv_oai · confidence 0.70 Andrew M. Pitts
  • 1401.7807 #1 · arxiv_oai · confidence 0.70 Andrew M. Pitts
  • 1401.7807 #1 · backfill · confidence 0.70 Andrew M. Pitts
  • 0801.1251 #1 · backfill · confidence 0.70 Andrew M. Pitts

Frequent Coauthors