Cubical Synthetic Homotopy Theory
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
Simon Huber, Homotopy canonicity for cubical type theory
...
Anders Mörtberg - Unifying Cubical Models of Homotopy Type Theory
...
Andrea Vezzosi, Cubical Agda and its extensions
...
Favonia- Cartesian cubical type theory
...
Carlo Angiuli, Computational semantics of Cartesian cubical type theory
...
Agda Lecture 9 Homogeneous composition and cubical univalence -- HoTTEST Summer
...
How to express a theory in Dedukti - Gilles Dowek
...
Anders Mörtberg: Cubical Agda
...
∞-category theory for undergraduates
...
Kuen-Bang Hou (Favonia), Towards efficient cubical type theory
...
Agda Lecture 8 Quotients and Higher Inductive Types in Cubical Agda -- HoTTEST S
...
Jon Sterling：redtt and the future of Cartesian cubical type theory
...
Synthetic mathematics with an excursion into computability theory
...
Agda Problem Session 9 Homogeneous comp. - cubical univalence -Axel- -- HoTTEST
...
Agda Problem Session 7 Cubical Agda - an introduction -Astra- -- HoTTEST Summer
...
Agda Problem Session 9 Homogeneous comp. - cubical univalence -Astra-.mp4
...
EPIT Spring School on HoTT Egbert Rijke Part 4 -Homotopy groups of types-
...
Jacques Carette What I learned from formalizing Category Theory in Agda
...
First Steps in Synthetic Tait Computability
...
Bas Spitters - Homotopy type theory, synthetic topology and probabilistic progra
...
Towards a Formalization of Affine Schemes in Cubical Agda - Max Zeuner
...
Andrew Pitts, Axiomatizing Cubical Sets Models of Univalent Foundations
...
Three Equivalent Ordinal Notation Systems in Cubical Agda
...
Homotopy type theory working invariantly in homotopy theory -Guillaume Brunerie
...
Agda Problem Session 7 Cubical Agda - an introduction -Max-
...
Synthetic Mathematics in Modal Dependent Type Theories
...
Jon Sterling- How to code your own type theory
...
Agda Lecture 7 Cubical Agda - an introduction -- HoTTEST Summer School 2022
...
What are hcomp and hfill – Cubical Agda
...
Cubical Agda：A Dependently Typed Programming Language with Univalence and Higher
...
Thierry Coquand: "Sheaf Cohomology in Univalent Type Theory"
...
Thierry Coquand - Computational Interpretation of Topos Theory
...
André Joyal --- Homotopy type theory a new bridge between logic, category theory
...
Amélia Liao- Univalent Category Theory
...
Andrew Swan- Choice- Collection and Covering in Cubical Sets
...
Mitya Boyarchenko Deligne-Lusztig Theory and the Local Langlands Correspondence
...
Raphaël Rouquier - Geometric representation theory as representation-theoretic g
...
How I became seduced by univalent foundations
...
张寿武 - L-functions
...
Computational Type Theory - Robert Harper - OPLSS 2018