Buchumschlag

Compositional Interface Refinement Through Subtyping in Probabilistic Session Types

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Blechschmidt, Paula
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fair Asynchronous Session Subtyping
von: Bravetti, Mario, et al.
Veröffentlicht: (2021)

Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
von: Kura, Satoshi, et al.
Veröffentlicht: (2024)

On Asynchronous Multiparty Session Types for Federated Learning
von: Prokić, Ivan, et al.
Veröffentlicht: (2025)

FTMPST: Fault-Tolerant Multiparty Session Types
von: Peters, Kirstin, et al.
Veröffentlicht: (2022)

Comparing Session Type Systems derived from Linear Logic
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT
von: Lommen, Nils, et al.
Veröffentlicht: (2024)

Linear Contextual Metaprogramming and Session Types
von: Ângelo, Pedro, et al.
Veröffentlicht: (2024)

Compositional Reasoning for Probabilistic Automata with Uncertainty
von: Mertens, Hannah, et al.
Veröffentlicht: (2026)

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
von: Pears, Jonah, et al.
Veröffentlicht: (2024)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2026)

To Zip Through the Cost Analysis of Probabilistic Programs
von: Hetzenberger, Matthias, et al.
Veröffentlicht: (2025)

Predicate Subtypes in VerCors
von: Dubbeling, Tycho, et al.
Veröffentlicht: (2026)

Crash-Stop Failures in Asynchronous Multiparty Session Types
von: Barwell, Adam D., et al.
Veröffentlicht: (2023)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
von: Genco, Francesco A., et al.
Veröffentlicht: (2023)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2025)

Compositional Reasoning for Parametric Probabilistic Automata
von: Mertens, Hannah, et al.
Veröffentlicht: (2025)

Dependent Type Refinements for Futures
von: Somayyajula, Siva, et al.
Veröffentlicht: (2023)

A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation
von: Genco, Francesco A.
Veröffentlicht: (2024)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
von: Derakhshan, Farzaneh, et al.
Veröffentlicht: (2024)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

Modular Multiparty Sessions with Mixed Choice
von: Barbanera, Franco, et al.
Veröffentlicht: (2025)

Asynchronous Multiparty Sessions with Mixed Choice
von: Barbanera, Franco, et al.
Veröffentlicht: (2026)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
von: Marković, Đorđe, et al.
Veröffentlicht: (2025)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
von: Casetta, Richard, et al.
Veröffentlicht: (2026)

Fault-Tolerant Multiparty Session Types with Global Escape Loops
von: Bartl, Lukas, et al.
Veröffentlicht: (2025)

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
von: Di Guardia, Rémi, et al.
Veröffentlicht: (2026)

On Small Types in Univalent Foundations
von: de Jong, Tom, et al.
Veröffentlicht: (2021)

Primitive Recursive Dependent Type Theory
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2024)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
von: Peters, Kirstin, et al.
Veröffentlicht: (2024)

Basis-Sensitive Quantum Typing via Realisability
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
von: Hermes, Marc, et al.
Veröffentlicht: (2023)

A Session Type System for Asynchronous Unreliable Broadcast Communication
von: Kouzapas, Dimitrios, et al.
Veröffentlicht: (2019)

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2021)

A Naive Encoding of Russell's Paradox in Type Theory
von: Qu, Zhuoyuan
Veröffentlicht: (2025)

Non-Derivability Results in Polymorphic Dependent Type Theory
von: Geuvers, Herman
Veröffentlicht: (2026)

Partial Typing for Asynchronous Multiparty Sessions
von: Barbanera, Franco, et al.
Veröffentlicht: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
von: D'Asaro, Fabio Aurelio, et al.
Veröffentlicht: (2022)

On Probabilistic and Causal Reasoning with Summation Operators
von: Ibeling, Duligur, et al.
Veröffentlicht: (2024)