Pages that link to "Item:Q5410701"
From MaRDI portal
The following pages link to On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Q5410701):
Displayed 13 items.
- Effectful applicative similarity for call-by-name lambda calculi (Q1989333) (← links)
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Combining algebraic effect descriptions using the tensor of complete lattices (Q2133480) (← links)
- On Equivalences, Metrics, and Polynomial Time (Q2947890) (← links)
- On Higher-Order Probabilistic Subrecursion (Q2988381) (← links)
- Metric Reasoning About $$\lambda $$-Terms: The General Case (Q2988646) (← links)
- On Applicative Similarity, Sequentiality, and Full Abstraction (Q3449626) (← links)
- Applicative Bisimulation and Quantum λ-Calculi (Q3455863) (← links)
- (Q5028447) (← links)
- The geometry of Bayesian programming (Q5076392) (← links)
- (Q5089028) (← links)
- (Q5129945) (← links)
- Program equivalence in a typed probabilistic call-by-need functional language (Q6052951) (← links)