Schreiber Latest Revisions

• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 581) | history )
  by Urs Schreiber at May 31, 2024 at 10:41:43
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 32) | history )
  by Urs Schreiber at May 31, 2024 at 10:40:48
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 18) | history )
  by Urs Schreiber at May 31, 2024 at 10:39:53
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 31) | history )
  by Urs Schreiber at May 31, 2024 at 07:32:01
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 30) | history )
  by Urs Schreiber at May 30, 2024 at 17:32:15
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 29) | history )
  by Urs Schreiber at May 30, 2024 at 13:22:46
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 42) | history )
  by Urs Schreiber at May 30, 2024 at 12:47:15
• Quantization via Linear homotopy types ( Quantization via Linear homotopy types(rev # 35) | history )
  by Urs Schreiber at May 30, 2024 at 12:11:38
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 28) | history )
  by Urs Schreiber at May 30, 2024 at 12:10:36
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 27) | history )
  by Urs Schreiber at May 30, 2024 at 10:30:27
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 26) | history )
  by Urs Schreiber at May 30, 2024 at 09:04:30
• Topological Quantum Gates in Homotopy Type Theory ( Topological Quantum Gates in Homotopy Type Theory(rev # 49) | history )
  by Urs Schreiber at May 30, 2024 at 08:39:29
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 25) | history )
  by Urs Schreiber at May 29, 2024 at 16:10:21
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 24) | history )
  by Urs Schreiber at May 29, 2024 at 14:57:42
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 23) | history )
  by Urs Schreiber at May 29, 2024 at 13:52:19
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 22) | history )
  by Urs Schreiber at May 29, 2024 at 12:17:13
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 21) | history )
  by Urs Schreiber at May 29, 2024 at 10:43:51
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 20) | history )
  by Urs Schreiber at May 29, 2024 at 08:36:17
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 19) | history )
  by Urs Schreiber at May 29, 2024 at 07:40:13
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 18) | history )
  by Urs Schreiber at May 28, 2024 at 13:57:55
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 17) | history )
  by Urs Schreiber at May 28, 2024 at 12:40:38
• Anyonic defect branes in TED K-theory ( Anyonic defect branes in TED K-theory(rev # 58) | history )
  by Urs Schreiber at May 28, 2024 at 11:56:13
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 16) | history )
  by Urs Schreiber at May 28, 2024 at 10:23:10
• Anyonic topological order in TED K-theory ( Anyonic topological order in TED K-theory(rev # 26) | history )
  by Urs Schreiber at May 28, 2024 at 08:34:17
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 15) | history )
  by Urs Schreiber at May 27, 2024 at 18:02:14
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 14) | history )
  by Urs Schreiber at May 27, 2024 at 16:21:07
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 13) | history )
  by Urs Schreiber at May 27, 2024 at 12:01:25
• Anyonic defect branes in TED K-theory ( Anyonic defect branes in TED K-theory(rev # 57) | history )
  by Urs Schreiber at May 27, 2024 at 11:38:09
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 12) | history )
  by Urs Schreiber at May 27, 2024 at 10:56:34
• 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