Schreiber Latest Revisions

• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 11) | history )
  by Urs Schreiber at May 27, 2024 at 08:30:06
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 10) | history )
  by Urs Schreiber at May 27, 2024 at 07:43:20
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 9) | history )
  by Urs Schreiber at May 27, 2024 at 06:52:07
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 580) | history )
  by Urs Schreiber at May 26, 2024 at 17:07:48
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 8) | history )
  by Urs Schreiber at May 26, 2024 at 17:06:32
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 7) | history )
  by Urs Schreiber at May 26, 2024 at 13:26:52
• Quantum Certification via Linear Homotopy Types ( Quantum Certification via Linear Homotopy Types(rev # 91) | history )
  by Urs Schreiber at May 26, 2024 at 13:20:20
• Quantization via Linear homotopy types ( Quantization via Linear homotopy types(rev # 34) | history )
  by Urs Schreiber at May 26, 2024 at 13:01:29
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 6) | history )
  by Urs Schreiber at May 26, 2024 at 11:16:03
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 5) | history )
  by Urs Schreiber at May 25, 2024 at 18:44:16
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 4) | history )
  by Urs Schreiber at May 25, 2024 at 16:53:46
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 3) | history )
  by Urs Schreiber at May 25, 2024 at 14:18:23
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 2) | history )
  by Urs Schreiber at May 25, 2024 at 12:04:41
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 17) | history )
  by Urs Schreiber at May 25, 2024 at 11:47:29
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 16) | history )
  by Urs Schreiber at May 25, 2024 at 10:21:20
• Entanglement of Sections ( Entanglement of Sections(rev # 36) | history )
  by Urs Schreiber at May 25, 2024 at 10:09:56
• Topological Quantum Gates in Homotopy Type Theory ( Topological Quantum Gates in Homotopy Type Theory(rev # 48) | history )
  by Urs Schreiber at May 25, 2024 at 10:09:07
• Quantum and Reality ( Quantum and Reality(rev # 6) | history )
  by Urs Schreiber at May 25, 2024 at 10:08:18
• The Quantum Monadology ( The Quantum Monadology(rev # 14) | history )
  by Urs Schreiber at May 25, 2024 at 10:06:12
• Topological Quantum Programming in TED-K ( Topological Quantum Programming in TED-K(rev # 39) | history )
  by Urs Schreiber at May 25, 2024 at 10:03:50
• Quantum Certification via Linear Homotopy Types ( Quantum Certification via Linear Homotopy Types(rev # 90) | history )
  by Urs Schreiber at May 25, 2024 at 09:56:59
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 1) | history )
  by Urs Schreiber at May 25, 2024 at 09:54:11
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 15) | history )
  by Urs Schreiber at May 25, 2024 at 06:05:08
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 579) | history )
  by Urs Schreiber at May 23, 2024 at 16:26:01
• Flux Quantization ( Flux Quantization(rev # 19) | history )
  by Urs Schreiber at May 20, 2024 at 10:00:01
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 14) | history )
  by David Corfield at May 15, 2024 at 07:19:53
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 13) | history )
  by Urs Schreiber at May 11, 2024 at 12:40:31
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 578) | history )
  by Urs Schreiber at May 11, 2024 at 12:36:34
• The Character Map in Equivariant Twistorial Cohomotopy ( The Character Map in Equivariant Twistorial Cohomotopy(rev # 14) | history )
  by Urs Schreiber at May 8, 2024 at 18:40:44
• Flux Quantization ( Flux Quantization(rev # 18) | history )
  by Urs Schreiber at May 8, 2024 at 15:01:42
• Introduction to Hypothesis H ( Introduction to Hypothesis H(rev # 127) | history )
  by Urs Schreiber at May 8, 2024 at 08:31:11
• Flux Quantization on Phase Space ( Flux Quantization on Phase Space(rev # 21) | history )
  by Urs Schreiber at May 6, 2024 at 05:31:12
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 41) | history )
  by Urs Schreiber at May 5, 2024 at 13:10:29
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 577) | history )
  by Urs Schreiber at May 5, 2024 at 09:21:19
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 576) | history )
  by Urs Schreiber at May 4, 2024 at 15:07:16
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 40) | history )
  by Urs Schreiber at April 30, 2024 at 13:26:32
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 39) | history )
  by Urs Schreiber at April 30, 2024 at 12:51:34
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 38) | history )
  by Urs Schreiber at April 27, 2024 at 17:30:36
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 37) | history )
  by Urs Schreiber at April 27, 2024 at 11:56:25
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 12) | history )
  by Urs Schreiber at April 27, 2024 at 07:27:21
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 36) | history )
  by Urs Schreiber at April 25, 2024 at 16:57:26
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 35) | history )
  by Urs Schreiber at April 25, 2024 at 14:31:09
• The Quantum Monadology ( The Quantum Monadology(rev # 13) | history )
  by Urs Schreiber at April 24, 2024 at 10:01:05
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 575) | history )
  by Urs Schreiber at April 20, 2024 at 15:35:09
• The Quantum Monadology ( The Quantum Monadology(rev # 12) | history )
  by Urs Schreiber at April 20, 2024 at 14:55:47
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 11) | history )
  by Urs Schreiber at April 19, 2024 at 10:55:13
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 10) | history )
  by Urs Schreiber at April 19, 2024 at 08:58:01
• QS -- Quantum Systems Language ( QS -- Quantum Systems Language(rev # 7) | history )
  by Urs Schreiber at April 19, 2024 at 07:27:28
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 9) | history )
  by Urs Schreiber at April 19, 2024 at 04:30:34
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 8) | history )
  by Urs Schreiber at April 18, 2024 at 13:39:48
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 7) | history )
  by Urs Schreiber at April 18, 2024 at 08:55:27
• Entanglement of Sections ( Entanglement of Sections(rev # 35) | history )
  by Urs Schreiber at April 17, 2024 at 08:49:51
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 6) | history )
  by Urs Schreiber at April 17, 2024 at 08:12:53
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 5) | history )
  by Urs Schreiber at April 17, 2024 at 07:41:55
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 574) | history )
  by Urs Schreiber at April 17, 2024 at 07:23:20
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 4) | history )
  by Urs Schreiber at April 16, 2024 at 15:52:19
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 3) | history )
  by Urs Schreiber at April 16, 2024 at 13:27:41
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 2) | history )
  by Urs Schreiber at April 16, 2024 at 09:00:44
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 573) | history )
  by Urs Schreiber at April 16, 2024 at 08:05:25
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 34) | history )
  by Urs Schreiber at April 11, 2024 at 08:07:32
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 33) | history )
  by Urs Schreiber at April 10, 2024 at 17:49:08
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 32) | history )
  by Urs Schreiber at April 10, 2024 at 16:58:11
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 31) | history )
  by Urs Schreiber at April 10, 2024 at 15:16:39
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 30) | history )
  by Urs Schreiber at April 10, 2024 at 10:39:40
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 29) | history )
  by Urs Schreiber at April 9, 2024 at 17:26:55
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 28) | history )
  by Urs Schreiber at April 9, 2024 at 15:03:12
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 27) | history )
  by Urs Schreiber at April 8, 2024 at 08:45:03
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 26) | history )
  by Urs Schreiber at April 7, 2024 at 16:22:20
• Flux Quantization ( Flux Quantization(rev # 17) | history )
  by Urs Schreiber at April 7, 2024 at 15:16:41
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 25) | history )
  by Urs Schreiber at April 7, 2024 at 13:55:52
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 24) | history )
  by Urs Schreiber at April 7, 2024 at 13:24:28
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 23) | history )
  by Urs Schreiber at April 6, 2024 at 10:49:37
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 22) | history )
  by Urs Schreiber at April 5, 2024 at 15:16:27
• Quantum Certification via Linear Homotopy Types ( Quantum Certification via Linear Homotopy Types(rev # 89) | history )
  by Urs Schreiber at April 4, 2024 at 11:16:12
• Topological Quantum Gates in Homotopy Type Theory ( Topological Quantum Gates in Homotopy Type Theory(rev # 47) | history )
  by Urs Schreiber at April 4, 2024 at 11:15:14
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 1) | history )
  by Urs Schreiber at April 4, 2024 at 11:14:00
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 572) | history )
  by Urs Schreiber at April 4, 2024 at 10:51:55
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 21) | history )
  by Urs Schreiber at April 4, 2024 at 09:45:41
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 20) | history )
  by Urs Schreiber at April 4, 2024 at 07:34:42
• The Character Map in Equivariant Twistorial Cohomotopy ( The Character Map in Equivariant Twistorial Cohomotopy(rev # 13) | history )
  by Urs Schreiber at April 3, 2024 at 14:03:24
• Quantum Observables of Quantized Fluxes ( Quantum Observables of Quantized Fluxes(rev # 15) | history )
  by Urs Schreiber at April 3, 2024 at 12:30:02
• Flux Quantization ( Flux Quantization(rev # 16) | history )
  by Urs Schreiber at April 3, 2024 at 11:05:42
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 19) | history )
  by Urs Schreiber at April 2, 2024 at 11:49:00
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 18) | history )
  by Urs Schreiber at April 2, 2024 at 03:59:04
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 17) | history )
  by Urs Schreiber at April 1, 2024 at 16:56:56
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 16) | history )
  by Urs Schreiber at March 31, 2024 at 13:30:43
• The Character Map in Non-Abelian Cohomology ( The Character Map in Non-Abelian Cohomology(rev # 96) | history )
  by Urs Schreiber at March 30, 2024 at 14:23:09
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 15) | history )
  by Urs Schreiber at March 30, 2024 at 13:59:29
• Flux Quantization on Phase Space ( Flux Quantization on Phase Space(rev # 20) | history )
  by Urs Schreiber at March 30, 2024 at 13:57:45
• Flux Quantization ( Flux Quantization(rev # 15) | history )
  by Urs Schreiber at March 29, 2024 at 22:24:44
• Flux Quantization ( Flux Quantization(rev # 14) | history )
  by Urs Schreiber at March 29, 2024 at 21:07:31
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 571) | history )
  by Urs Schreiber at March 27, 2024 at 15:02:00
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 14) | history )
  by Urs Schreiber at March 26, 2024 at 06:44:30
• Flux Quantization on Phase Space ( Flux Quantization on Phase Space(rev # 19) | history )
  by Urs Schreiber at March 25, 2024 at 07:48:57
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 13) | history )
  by Urs Schreiber at March 25, 2024 at 06:38:25
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 12) | history )
  by Urs Schreiber at March 24, 2024 at 17:20:51
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 11) | history )
  by Urs Schreiber at March 24, 2024 at 16:37:04
• Higher and Equivariant Bundles ( Higher and Equivariant Bundles(rev # 19) | history )
  by Urs Schreiber at March 23, 2024 at 17:20:08
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 10) | history )
  by Urs Schreiber at March 23, 2024 at 17:13:56
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 9) | history )
  by Urs Schreiber at March 23, 2024 at 13:47:52