Applicative Bisimulation and Quantum λ-Calculi
From MaRDI portal
Publication:3455863
DOI10.1007/978-3-319-24644-4_4zbMath1434.68081arXiv1506.06661OpenAlexW2281978270MaRDI QIDQ3455863
Ugo Dal Lago, Alessandro Rioli
Publication date: 11 December 2015
Published in: Fundamentals of Software Engineering (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1506.06661
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Bisimulation through probabilistic testing
- Fully abstract models of typed \(\lambda\)-calculi
- Domain theory, testing and simulation for labelled Markov processes
- Proving congruence of bisimulation in functional programming languages
- Completeness of bisimilarity for contextual equivalence in linear theories
- On a Fully Abstract Model for a Quantum Linear Functional Language
- Coalgebraic Walks, in Quantum and Turing Computation
- Introduction to Bisimulation and Coinduction
- Applicative Bisimulation and Quantum λ-Calculi
- Program equivalence in a linear functional language
- On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi
- Typed Lambda Calculi and Applications
- From Applicative to Environmental Bisimulation
This page was built for publication: Applicative Bisimulation and Quantum λ-Calculi
