References in zbMATH (referenced in 45 articles )

Showing results 1 to 20 of 45.
Sorted by year (citations)

1 2 3 next

  1. Coquand, Thierry; Huber, Simon; Sattler, Christian: Canonicity and homotopy canonicity for cubical type theory (2022)
  2. Angiuli, Carlo; Brunerie, Guillaume; Coquand, Thierry; Harper, Robert; Hou (Favonia), Kuen-Bang; Licata, Daniel R.: Syntax and models of Cartesian cubical type theory (2021)
  3. Boulier, Simon; Tabareau, Nicolas: Model structure on the universe of all types in interval type theory (2021)
  4. Cavallo, Evan; Harper, Robert: Internal parametricity for cubical type theory (2021)
  5. Hyvernat, Pierre: Representing continuous functions between greatest fixed points of indexed containers (2021)
  6. Streicher, Thomas; Weinberger, Jonathan: Simplicial sets inside cubical sets (2021)
  7. Veltri, Niccolò; van der Weide, Niels: Constructing higher inductive types as groupoid quotients (2021)
  8. Abel, Andreas; Cockx, Jesper; Devriese, Dominique; Timany, Amin; Wadler, Philip: Leibniz equality is isomorphic to Martin-Löf identity, parametrically (2020)
  9. Birkedal, Lars; Clouston, Ranald; Mannaa, Bassel; Ejlers Møgelberg, Rasmus; Pitts, Andrew M.; Spitters, Bas: Modal dependent type theory and dependent right adjoints (2020)
  10. Bizjak, Aleš; Ejlers Møgelberg, Rasmus: Denotational semantics for guarded dependent type theory (2020)
  11. Buchholtz, Ulrik; Hou, Kuen-Bang: Cellular cohomology in homotopy type theory (2020)
  12. Mannaa, Bassel; Møgelberg, Rasmus Ejlers; Veltri, Niccolò: Ticking clocks as dependent right adjoints: denotational semantics for clocked type theory (2020)
  13. Tsementzis, Dimitris: A meaning explanation for HoTT (2020)
  14. Ahrens, Benedikt; Matthes, Ralph; Mörtberg, Anders: From signatures to monads in \textsfUniMath (2019)
  15. Bezem, Marc; Coquand, Thierry; Huber, Simon: The univalence axiom in cubical sets (2019)
  16. Birkedal, Lars; Bizjak, Aleš; Clouston, Ranald; Grathwohl, Hans Bugge; Spitters, Bas; Vezzosi, Andrea: Guarded cubical type theory (2019)
  17. Coquand, Thierry: Canonicity and normalization for dependent type theory (2019)
  18. Huber, Simon: Canonicity for cubical type theory (2019)
  19. Kapulkin, Krzysztof; Lindsey, Zachery; Wong, Liang Ze: A co-reflection of cubical sets into simplicial sets with applications to model structures (2019)
  20. Orton, Ian; Pitts, Andrew M.: Models of type theory based on Moore paths (2019)

1 2 3 next