Center for Quantum and Topological Systems |
11:36:13, April 17 2024 |
conservative extension |
11:13:33, April 17 2024 |
theory |
11:11:37, April 17 2024 |
Martin-Löf dependent type theory |
11:05:11, April 17 2024 |
Center for Quantum and Topological Systems |
08:14:16, April 17 2024 |
AdS-QCD correspondence |
04:12:05, April 17 2024 |
supersymmetric quantum mechanics |
04:08:31, April 17 2024 |
Center for Quantum and Topological Systems |
15:34:47, April 16 2024 |
homotopy type theory |
15:15:59, April 16 2024 |
parametrized spectrum |
14:48:57, April 16 2024 |
model structure on chain complexes |
14:38:47, April 16 2024 |
model of type theory in an (infinity,1)-topos |
14:20:24, April 16 2024 |
relation between type theory and category theory |
14:16:33, April 16 2024 |
Center for Quantum and Topological Systems |
14:05:51, April 16 2024 |
Center for Quantum and Topological Systems |
13:05:29, April 16 2024 |
linear type theory |
12:41:22, April 16 2024 |
linear logic |
12:40:53, April 16 2024 |
Quipper |
12:38:14, April 16 2024 |
Center for Quantum and Topological Systems |
11:50:49, April 16 2024 |
Sandbox |
11:16:54, April 16 2024 |
(infinity,1)-Grothendieck construction |
08:20:28, April 16 2024 |
Center for Quantum and Topological Systems |
08:03:20, April 16 2024 |
Alberto Cattaneo |
07:51:59, April 16 2024 |
first-order formulation of gravity |
07:51:20, April 16 2024 |
manifold with boundary |
07:44:21, April 16 2024 |
Jürg Fröhlich |
04:47:45, April 16 2024 |
interpretation of quantum mechanics |
04:46:24, April 16 2024 |
dependent sum |
13:28:56, April 15 2024 |
Elisa Ercolessi |
13:12:34, April 15 2024 |
canonical commutation relation |
13:08:45, April 15 2024 |