京东 11.11 红包
Kuen-Bang Hou (Favonia), Towards efficient cubical type theory
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
Andrew Pitts, Axiomatizing Cubical Sets Models of Univalent Foundations
...
Anders Mörtberg - Unifying Cubical Models of Homotopy Type Theory
...
Simon Huber, Homotopy canonicity for cubical type theory
...
Carlo Angiuli, Computational semantics of Cartesian cubical type theory
...
Jon Sterling：redtt and the future of Cartesian cubical type theory
...
Favonia- Cartesian cubical type theory
...
Towards a Formalization of Affine Schemes in Cubical Agda - Max Zeuner
...
Jon Sterling- How to code your own type theory
...
Andrea Vezzosi, Cubical Agda and its extensions
...
Anders Mörtberg: Cubical Agda
...
Bas Spitters - Homotopy type theory, synthetic topology and probabilistic progra
...
∞-category theory for undergraduates
...
Agda Lecture 8 Quotients and Higher Inductive Types in Cubical Agda -- HoTTEST S
...
Agda Problem Session 9 Homogeneous comp. - cubical univalence -Axel- -- HoTTEST
...
Jacques Carette What I learned from formalizing Category Theory in Agda
...
Agda Problem Session 9 Homogeneous comp. - cubical univalence -Astra-.mp4
...
Computational Type Theory - Robert Harper - OPLSS 2018
...
Andrew Swan- Choice- Collection and Covering in Cubical Sets
...
Agda Problem Session 7 Cubical Agda - an introduction -Astra- -- HoTTEST Summer
...
Three Equivalent Ordinal Notation Systems in Cubical Agda
...
Thierry Coquand: "Sheaf Cohomology in Univalent Type Theory"
...
Cubical Agda：A Dependently Typed Programming Language with Univalence and Higher
...
How to express a theory in Dedukti - Gilles Dowek
...
Martin Escardó, Constructive mathematics in univalent type theory
...
Lawrence Paulson Formalising Contemporary Mathematics in Simple Type Theory
...
Type theory and formalization of mathematics - Anders Mörtberg
...
Homotopy type theory working invariantly in homotopy theory -Guillaume Brunerie
...
André Joyal --- Homotopy type theory a new bridge between logic, category theory
...
Amélia Liao- Univalent Category Theory
...
Algorithmic invariant theory - Visu Makam
...
Categorical actions in geometry and representation theory - Clemens Koppensteine
...
Tests,Games,and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory
...
Gerhard Hiss Representation theory for groups of Lie type
...
Modular Forms and Representation Theory - Ken Ono - 2016
...
Introduction to Deligne-Lusztig Theory
...
Bidirectional Type Checking
...
Bidirectional Type Checking
...
Cubical Synthetic Homotopy Theory
...
An introduction to Invariant Theory - Harm Derksen
...
Geordie Williamson (Univ. of Sydney) _ Representation theory and geometry