scientific article; zbMATH DE number 7559292
From MaRDI portal
Publication:5089028
DOI10.4230/LIPIcs.FSCD.2019.26MaRDI QIDQ5089028
Michele Pagani, Simona Kašterović
Publication date: 18 July 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Linear logic
- Bisimulation through probabilistic testing
- Domain theory, testing and simulation for labelled Markov processes
- Strong adequacy and untyped full-abstraction for probabilistic coherence spaces
- Probabilistic operational semantics for the lambda calculus
- On Applicative Similarity, Sequentiality, and Full Abstraction
- Full Abstraction for Probabilistic PCF
- Probabilistic Böhm Trees and Probabilistic Separation
- On coinductive equivalences for higher-order probabilistic functional programs
- On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi
This page was built for publication: