Thierry Coquand - Computational Interpretation of Topos Theory
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
Thierry Coquand, A survey of constructive models of univalence
...
Thierry Coquand: "Sheaf Cohomology in Univalent Type Theory"
...
Carlo Angiuli, Computational semantics of Cartesian cubical type theory
...
Thierry Coquand, Sheaf models and constructive mathematics
...
Jacques Carette What I learned from formalizing Category Theory in Agda
...
Computational Type Theory - Robert Harper - OPLSS 2018
...
Thierry COQUAND - Logic and topology
...
∞-category theory for undergraduates
...
Favonia- Cartesian cubical type theory
...
张寿武 - L-functions
...
Jon Sterling：redtt and the future of Cartesian cubical type theory
...
How to express a theory in Dedukti - Gilles Dowek
...
Synthetic mathematics with an excursion into computability theory
...
Cubical Synthetic Homotopy Theory
...
Raphaël Rouquier - Geometric representation theory as representation-theoretic g
...
Kuen-Bang Hou (Favonia), Towards efficient cubical type theory
...
Simon Huber, Homotopy canonicity for cubical type theory
...
Jon Sterling- How to code your own type theory
...
Anders Mörtberg - Unifying Cubical Models of Homotopy Type Theory
...
Amélia Liao- Univalent Category Theory
...
Modular Forms and Representation Theory - Ken Ono - 2016
...
Mitya Boyarchenko Deligne-Lusztig Theory and the Local Langlands Correspondence
...
Andrew Pitts - Models of Univalence in Toposes
...
On the crossroads of enumerative geometry and representation theory – Andrei Oko
...
Bas Spitters - Homotopy type theory, synthetic topology and probabilistic progra
...
Algorithmic invariant theory - Visu Makam
...
Introduction to Deligne-Lusztig Theory
...
CS250B Lecture 11 Bluespec Topics
...
Categorical actions in geometry and representation theory - Clemens Koppensteine
...
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
...
Geordie Williamson (Univ. of Sydney) _ Representation theory and geometry
...
CSCI 8980 Higher-Dimensional Type Theory, 2020 Spring
...
Lawrence Paulson Formalising Contemporary Mathematics in Simple Type Theory
...
Type theory and formalization of mathematics - Anders Mörtberg
...
数学：数与形的结合以及它能给予我们什么 - 求是科技基金会
...
Martin Escardó, Constructive mathematics in univalent type theory
...
Anders Mörtberg: Cubical Agda
...
Andrea Vezzosi, Cubical Agda and its extensions
...
A gentle introduction to group representation theory -Peter Buergisser
...
Gerhard Hiss Representation theory for groups of Lie type