On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2019.09.007
@@ Property / DOI: 10.1016/j.entcs.2019.09.007 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2019.09.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2995436578
@@ Property / OpenAlex ID: W2995436578 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317356
@@ Property / Wikidata QID: Q113317356 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Relational algebras
@@ Property / cites work: Relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Step-Indexed Logical Relations for Probability
@@ Property / cites work: Step-Indexed Logical Relations for Probability / rank @@
+Normal rank
@@ Property / cites work @@
+A lambda-calculus foundation for universal probabilistic programming
+Normal rank
@@ Property / cites work @@
+On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi
+Normal rank
@@ Property / cites work @@
+Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring
+Normal rank
@@ Property / cites work @@
+Q5144664
@@ Property / cites work: Q5144664 / rank @@
+Normal rank
@@ Property / cites work @@
+On coinductive equivalences for higher-order probabilistic functional programs
+Normal rank
@@ Property / cites work @@
+A semantic account of metric preservation
@@ Property / cites work: A semantic account of metric preservation / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic extensions of untyped \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3662610
@@ Property / cites work: Q3662610 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Behavioural Reasoning for Higher-order Effectful Programs
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical relations for monadic types
@@ Property / cites work: Logical relations for monadic types / rank @@
+Normal rank
@@ Property / cites work @@
+Proving congruence of bisimulation in functional programming languages
+Normal rank
@@ Property / cites work @@
+Simulations in coalgebra
@@ Property / cites work: Simulations in coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Codensity Lifting of Monads and its Dual
@@ Property / cites work: Codensity Lifting of Monads and its Dual / rank @@
+Normal rank
@@ Property / cites work @@
+Q4679165
@@ Property / cites work: Q4679165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704324
@@ Property / cites work: Q2704324 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261091
@@ Property / cites work: Q4261091 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Normal Form Bisimulation
@@ Property / cites work: Typed Normal Form Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863895
@@ Property / cites work: Q2863895 / rank @@
+Normal rank
@@ Property / cites work @@
+Similarity Quotients as Final Coalgebras
@@ Property / cites work: Similarity Quotients as Final Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling environments in call-by-value programming languages.
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence in functional languages with effects
@@ Property / cites work: Equivalence in functional languages with effects / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic bisimulation
@@ Property / cites work: Probabilistic bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic language based upon sampling functions
+Normal rank
@@ Property / cites work @@
+Howe's method for higher-order languages
@@ Property / cites work: Howe's method for higher-order languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771052
@@ Property / cites work: Q2771052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+A User's Guide to Measure Theoretic Probability
@@ Property / cites work: A User's Guide to Measure Theoretic Probability / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic lambda calculus and monads of probability distributions
+Normal rank
@@ Property / cites work @@
+Distance makes the types grow stronger
@@ Property / cites work: Distance makes the types grow stronger / rank @@
+Normal rank
@@ Property / cites work @@
+The lazy lambda calculus in a concurrency scenario
+Normal rank
@@ Property / cites work @@
+Approximate relational Hoare logic for continuous random samplings
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138547
@@ Property / cites work: Q3138547 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural equivalence via modalities for algebraic effects
+Normal rank
@@ Property / cites work @@
+Commutative Semantics for Probabilistic Programming
+Normal rank
@@ Property / cites work @@
+Semantics for probabilistic programming
@@ Property / cites work: Semantics for probabilistic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics and simulation
@@ Property / cites work: Fixpoint semantics and simulation / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory, testing and simulation for labelled Markov processes
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2019.09.007
@@ Property / DOI: 10.1016/J.ENTCS.2019.09.007 / rank @@
+Normal rank