Copertina

Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Fernandes, Vítor, de Visme, Marc, Valiron, Benoît
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Tensor-Plus Calculus
di: Chardonnet, Kostia, et al.
Pubblicazione: (2025)

The Many-Worlds Calculus
di: Chardonnet, Kostia, et al.
Pubblicazione: (2022)

On Quantum Programming Languages
di: Valiron, Benoît
Pubblicazione: (2024)

Causal Unfoldings and Disjunctive Causes
di: de Visme, Marc, et al.
Pubblicazione: (2020)

Finding Photonics Circuits via $δ$-weakening SMT
di: Lewis, Marco, et al.
Pubblicazione: (2025)

A Rewriting Theory for Quantum Lambda-Calculus
di: Faggian, Claudia, et al.
Pubblicazione: (2024)

A Curry-Howard Correspondence for Linear, Reversible Computation
di: Chardonnet, Kostia, et al.
Pubblicazione: (2023)

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
di: Chardonnet, Kostia, et al.
Pubblicazione: (2023)

Quantum Petri Nets with Event Structures semantics
di: Joachim, Julien Saan, et al.
Pubblicazione: (2025)

Quantum Petri Nets with Event Structure semantics
di: Joachim, Julien Saan, et al.
Pubblicazione: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
di: Gaßner, Christine
Pubblicazione: (2025)

Logical Approaches to Non-deterministic Polynomial Time over Semirings
di: Barlag, Timon, et al.
Pubblicazione: (2025)

act: Technical report
di: Paraskevopoulou, Zoe, et al.
Pubblicazione: (2026)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
di: Carette, Titouan, et al.
Pubblicazione: (2025)

A quantitative probabilistic relational Hoare logic
di: Avanzini, Martin, et al.
Pubblicazione: (2024)

Global types and event structure semantics for asynchronous multiparty sessions
di: Castellani, Ilaria, et al.
Pubblicazione: (2021)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
di: Marin, Sonia, et al.
Pubblicazione: (2025)

An adequacy theorem between mixed powerdomains and probabilistic concurrency (extended version)
di: Neves, Renato
Pubblicazione: (2024)

Logics with probabilistic team semantics and the Boolean negation
di: Hannula, Miika, et al.
Pubblicazione: (2023)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
di: Hermes, Marc, et al.
Pubblicazione: (2023)

Realizing the totally unordered structure of ordinals
di: Fontanella, Laura, et al.
Pubblicazione: (2025)

The Transpension Type: Technical Report
di: Nuyts, Andreas
Pubblicazione: (2020)

History-deterministic Timed Automata
di: Bose, Sougata, et al.
Pubblicazione: (2023)

Technical Report: Time-Bounded Resilience
di: Kirigin, Tajana Ban, et al.
Pubblicazione: (2024)

Reaching Classicality through Transitive Closure
di: Blomet, Quentin, et al.
Pubblicazione: (2025)

Non-Derivability Results in Polymorphic Dependent Type Theory
di: Geuvers, Herman
Pubblicazione: (2026)

Graph classes through the lens of logic
di: Pilipczuk, Michał
Pubblicazione: (2025)

The Power of Regular Constraint Propagation (Technical Report)
di: Hague, Matthew, et al.
Pubblicazione: (2025)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
di: Herbelin, Hugo
Pubblicazione: (2024)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
di: Peters, Kirstin, et al.
Pubblicazione: (2024)

The Modal Cube Revisited: Semantics without Worlds (Technical Report)
di: Leme, Renato, et al.
Pubblicazione: (2025)

Delooping cyclic groups with lens spaces in homotopy type theory
di: Mimram, Samuel, et al.
Pubblicazione: (2024)

Regular Typed Unification
di: Barbosa, João, et al.
Pubblicazione: (2024)

Deciding Boolean Separation Logic via Small Models (Technical Report)
di: Dacík, Tomáš, et al.
Pubblicazione: (2024)

A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report
di: Ceulemans, Joris, et al.
Pubblicazione: (2024)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
di: Habermehl, Peter, et al.
Pubblicazione: (2024)