From reversible programs to univalent universes and back (Q2130579): Difference between revisions

@@ Property / cites work @@
+Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview
+Normal rank
@@ Property / cites work @@
+A structural approach to reversible computation
@@ Property / cites work: A structural approach to reversible computation / rank @@
+Normal rank
@@ Property / cites work @@
+The real projective spaces in homotopy type theory
+Normal rank
@@ Property / cites work @@
+Computing with Semirings and Weak Rig Groupoids
@@ Property / cites work: Computing with Semirings and Weak Rig Groupoids / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible combinatory logic
@@ Property / cites work: Reversible combinatory logic / rank @@
+Normal rank
@@ Property / cites work @@
+Conservative logic
@@ Property / cites work: Conservative logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024908
@@ Property / cites work: Q3024908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4509474
@@ Property / cites work: Q4509474 / rank @@
+Normal rank
@@ Property / cites work @@
+Information effects
@@ Property / cites work: Information effects / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphic Interpreters from Logically Reversible Abstract Machines
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+A Cubical Approach to Synthetic Homotopy Theory
@@ Property / cites work: A Cubical Approach to Synthetic Homotopy Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Q3886867
@@ Property / cites work: Q3886867 / rank @@
+Normal rank
@@ Property / cites work @@
+A Lambda Calculus for Quantum Computation
@@ Property / cites work: A Lambda Calculus for Quantum Computation / rank @@
+Normal rank