Buchumschlag

First-order store and visibility in name-passing calculi

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hirschkoff, Daniel, Quémerais, Iwan, Sangiorgi, Davide
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

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
von: Sangiorgi, Davide
Veröffentlicht: (2024)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

Extensional and Non-extensional Functions as Processes
von: Sakayori, Ken, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

First-order Logic with Being a Thesis Modal Operator
von: Łyczak, Marcin
Veröffentlicht: (2024)

A denotationally-based program logic for higher-order store
von: Aagaard, Frederik Lerbjerg, et al.
Veröffentlicht: (2023)

String Diagrams for $λ$-calculi and Functional Computation
von: Ghica, Dan, et al.
Veröffentlicht: (2023)

List types for resource aware languages: an implicit name approach
von: Ghilezan, Silvia, et al.
Veröffentlicht: (2021)

Wiring the Pi-calculus to Denotational Semantics
von: Sakayori, Ken, et al.
Veröffentlicht: (2026)

Sequent calculi for first-order ST
von: Paoli, Francesco, et al.
Veröffentlicht: (2026)

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

Denotational semantics driven simplicial homology?
von: Barbarossa, Davide
Veröffentlicht: (2024)

One is all you need: Second-order Unification without First-order Variables
von: Cerna, David M., et al.
Veröffentlicht: (2024)

Positive First-order Logic on Words and Graphs
von: Kuperberg, Denis
Veröffentlicht: (2022)

First order complexity of finite random structures
von: Demin, Danila, et al.
Veröffentlicht: (2024)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
von: Jaber, Guilhem, et al.
Veröffentlicht: (2025)

Unravelling Cyclic First-Order Arithmetic
von: Leigh, Graham E., et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
von: Oda, Yukihiro, et al.
Veröffentlicht: (2021)

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

Decomposing graphs into stable and ordered parts
von: Buffière, Hector, et al.
Veröffentlicht: (2025)

Forcing and Interpolation in first-order hybrid Logic with rigid symbols
von: Găină, Daniel, et al.
Veröffentlicht: (2026)

A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order
von: Figueira, Diego, et al.
Veröffentlicht: (2025)

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

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

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

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
von: Powell, Thomas
Veröffentlicht: (2023)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

An order out of nowhere: a new algorithm for infinite-domain CSPs
von: Mottet, Antoine, et al.
Veröffentlicht: (2023)

Resource approximation for the $λμ$-calculus
von: Barbarossa, Davide
Veröffentlicht: (2024)

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
von: Barbarossa, Davide
Veröffentlicht: (2024)

Lifted Inference beyond First-Order Logic
von: Malhotra, Sagar, et al.
Veröffentlicht: (2023)

First order distinguishability of sparse random graphs
von: Hershko, Tal, et al.
Veröffentlicht: (2024)

On the algorithmic structure of Dialectica realisers
von: Barbarossa, Davide, et al.
Veröffentlicht: (2025)

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages
von: Barbarossa, Davide, et al.
Veröffentlicht: (2025)