Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499): Difference between revisions

@@ Property / cites work @@
+Partiality, Revisited
@@ Property / cites work: Partiality, Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Quotient inductive-inductive types
@@ Property / cites work: Quotient inductive-inductive types / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Randomized Algorithms in Coq
@@ Property / cites work: Proofs of Randomized Algorithms in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric Boolean algebras and constructive measure theory
+Normal rank
@@ Property / cites work @@
+Integrals and valuations
@@ Property / cites work: Integrals and valuations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144677
@@ Property / cites work: Q5144677 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844075
@@ Property / cites work: Q2844075 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive manifestation of the Kleene-Kreisel continuous functionals
+Normal rank
@@ Property / cites work @@
+Partial Elements and Recursion via Dominances in Univalent Type Theory.
+Normal rank
@@ Property / cites work @@
+Q3693527
@@ Property / cites work: Q3693527 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Truth II: Reflections
@@ Property / cites work: Continuous Truth II: Reflections / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+A Convenient Category for Higher-Order Probability Theory
+Normal rank
@@ Property / cites work @@
+Measures in Boolean Algebras
@@ Property / cites work: Measures in Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Application ofComputable Distributions to the Semantics of Probabilistic Programs
+Normal rank
@@ Property / cites work @@
+Q3978973
@@ Property / cites work: Q3978973 / rank @@
+Normal rank
@@ Property / cites work @@
+On a Topological Topos
@@ Property / cites work: On a Topological Topos / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+Presenting Dcpos and Dcpo Algebras
@@ Property / cites work: Presenting Dcpos and Dcpo Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A Convenient Method for Generating Normal Variables
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771052
@@ Property / cites work: Q2771052 / rank @@
+Normal rank
@@ Property / cites work @@
+Sets in homotopy type theory
@@ Property / cites work: Sets in homotopy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwer's fixed-point theorem in real-cohesive homotopy type theory
+Normal rank
@@ Property / cites work @@
+Type classes for mathematics in type theory
@@ Property / cites work: Type classes for mathematics in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for probabilistic programming
@@ Property / cites work: Semantics for probabilistic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5094128
@@ Property / cites work: Q5094128 / rank @@
+Normal rank
@@ Property / cites work @@
+On Church’s thesis in cubical assemblies
@@ Property / cites work: On Church’s thesis in cubical assemblies / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+On choice sequences determined by spreads
@@ Property / cites work: On choice sequences determined by spreads / rank @@
+Normal rank
@@ Property / cites work @@
+A localic theory of lower and upper integrals
@@ Property / cites work: A localic theory of lower and upper integrals / rank @@
+Normal rank