:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Gouëzel, Sébastien
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2509.04922
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0
von: Hulak, David B., et al.
Veröffentlicht: (2026)

Interpolation for the two-way modal mu-calculus
von: Kloibhofer, Johannes, et al.
Veröffentlicht: (2025)

Cut-elimination for the alternation-free modal mu-calculus
von: Afshari, Bahareh, et al.
Veröffentlicht: (2025)

A concrete model for a typed linear algebraic lambda calculus
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2018)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

The calculus of neo-Peircean relations
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)

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

The higher dimensional propositional calculus
von: Bucciarelli, Antonio, et al.
Veröffentlicht: (2022)

An implicit function theorem for the stream calculus
von: Boreale, Michele, et al.
Veröffentlicht: (2023)

A linear linear lambda-calculus
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2022)

Approximation theory for distant Bang calculus
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2026)

On the complexity of normalization for the planar $λ$-calculus
von: Das, Anupam, et al.
Veröffentlicht: (2024)

The decohered ZX-calculus
von: Carette, Titouan, et al.
Veröffentlicht: (2025)

Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
von: Dudenhefner, Andrej
Veröffentlicht: (2026)

Higher-order bialgebraic semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
von: Bauer, Esaïe, et al.
Veröffentlicht: (2025)

Formula size game and model checking for modal substitution calculus
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2025)

Encoding call-by-push-value in the pi-calculus
von: Bennetzen, Benjamin, et al.
Veröffentlicht: (2025)

Higher-order Kripke models for intuitionistic and non-classical modal logics
von: Barroso-Nascimento, Victor
Veröffentlicht: (2025)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
von: Komel, Anja Petković, et al.
Veröffentlicht: (2025)

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

A dependently-typed calculus of event telicity and culminativity
von: Kovalev, Pavel, et al.
Veröffentlicht: (2025)

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

A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus
von: Mironov, Andrew M.
Veröffentlicht: (2025)

Hypergraph rewriting and Causal structure of $λ-$calculus
von: Bajaj, Utkarsh
Veröffentlicht: (2024)

Higher-order circuits
von: Wilson, Matt
Veröffentlicht: (2026)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

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

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

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

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
von: Nogueira, Pablo, et al.
Veröffentlicht: (2022)

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

Impredicative Encodings of (Higher) Inductive Types
von: Awodey, Steve, et al.
Veröffentlicht: (2018)

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

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

S4 modal sequent calculus as intermediate logic and intermediate language
von: Caspar, Jean, et al.
Veröffentlicht: (2026)

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

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)