Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-17127-8_21
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Deep Inference and Probabilistic Coherence Spaces

Applied Categorical Structures
Computer ScienceTheoretical Computer Science
2010English

Games and Full Abstraction for FPC

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2000English

General Conditions for Full Abstraction

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2014English

Abstraction-Based Probabilistic Models for Sequence Classification

English

Coherence and Probability: A Probabilistic Account of Coherence

Law and Philosophy Library
2013English

Topologies for Probabilistic Metric Spaces

Pacific Journal of Mathematics
Mathematics
1976English

Full Abstraction for Fair Testing in CCS (Expanded Version)

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Strong Proximinality and Polyhedral Spaces

Revista Matematica Complutense
Mathematics
2001English

Probabilistic B-Metric Spaces and Nonlinear Contractions

Fixed Point Theory and Applications
GeometryApplied MathematicsTopology
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy