:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Boreale, Michele, Collodi, Luisa, Gorla, Daniele
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2303.11876
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Approximate Model Counting, Sparse XOR Constraints and Minimum Distance
by: Boreale, Michele, et al.
Published: (2019)

Algebra and coalgebra of stream products
by: Boreale, Michele, et al.
Published: (2021)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
by: Boreale, Michele, et al.
Published: (2025)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
by: Boreale, Michele, et al.
Published: (2026)

Denotational Semantics for Probabilistic and Concurrent Programs
by: Zilberstein, Noam, et al.
Published: (2025)

Interpolation for the two-way modal mu-calculus
by: Kloibhofer, Johannes, et al.
Published: (2025)

Cut-elimination for the alternation-free modal mu-calculus
by: Afshari, Bahareh, et al.
Published: (2025)

List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)

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

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

Resource approximation for the $λμ$-calculus
by: Barbarossa, Davide
Published: (2024)

The calculus of neo-Peircean relations
by: Bonchi, Filippo, et al.
Published: (2025)

The higher dimensional propositional calculus
by: Bucciarelli, Antonio, et al.
Published: (2022)

Higher order differential calculus in mathlib
by: Gouëzel, Sébastien
Published: (2025)

A linear linear lambda-calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

Approximation theory for distant Bang calculus
by: Chardonnet, Kostia, et al.
Published: (2026)

On the complexity of normalization for the planar $λ$-calculus
by: Das, Anupam, et al.
Published: (2024)

Centralized vs Decentralized Monitors for Hyperproperties
by: Aceto, Luca, et al.
Published: (2024)

The decohered ZX-calculus
by: Carette, Titouan, et al.
Published: (2025)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

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

Formula size game and model checking for modal substitution calculus
by: Ahvonen, Veeti, et al.
Published: (2025)

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

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

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
by: Komel, Anja Petković, et al.
Published: (2025)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
by: Przybocki, Benjamin, et al.
Published: (2024)

A dependently-typed calculus of event telicity and culminativity
by: Kovalev, Pavel, et al.
Published: (2025)

Wiring the Pi-calculus to Denotational Semantics
by: Sakayori, Ken, et al.
Published: (2026)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
by: Ken, Eitetsu, et al.
Published: (2024)

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

Hypergraph rewriting and Causal structure of $λ-$calculus
by: Bajaj, Utkarsh
Published: (2024)

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
by: Benedikt, Michael, et al.
Published: (2022)

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

S4 modal sequent calculus as intermediate logic and intermediate language
by: Caspar, Jean, et al.
Published: (2026)

Univalence without function extensionality
by: Cavallo, Evan, et al.
Published: (2026)

Deducibility in the full Lambek calculus with weakening is HAck-complete
by: Greati, Vitor, et al.
Published: (2024)

On matrix rank function over bounded arithmetics
by: Ken, Eitetsu, et al.
Published: (2023)

Strong negation in the theory of computable functionals TCF
by: Köpp, Nils, et al.
Published: (2022)