Copertina

Resource approximation for the $λμ$-calculus

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Barbarossa, Davide
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

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

Denotational semantics driven simplicial homology?
di: Barbarossa, Davide
Pubblicazione: (2024)

An excursion into Dialectica and Differentiation
di: Barbarossa, Davide
Pubblicazione: (2024)

On the algorithmic structure of Dialectica realisers
di: Barbarossa, Davide, et al.
Pubblicazione: (2025)

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages
di: Barbarossa, Davide, et al.
Pubblicazione: (2025)

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

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

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

Normalization properties of $λμ$-calculus using realizability semantics
di: Battyanyi, Peter, et al.
Pubblicazione: (2023)

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

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

Speedability of computably approximable reals and their approximations
di: Barmpalias, George, et al.
Pubblicazione: (2026)

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

The higher dimensional propositional calculus
di: Bucciarelli, Antonio, et al.
Pubblicazione: (2022)

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

An implicit function theorem for the stream calculus
di: Boreale, Michele, et al.
Pubblicazione: (2023)

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

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

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

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

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

The decohered ZX-calculus
di: Carette, Titouan, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

A Program Logic for Under-approximating Worst-case Resource Usage
di: Jin, Ziyue, et al.
Pubblicazione: (2025)

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

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
di: Mannucci, Mirco A., et al.
Pubblicazione: (2025)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
di: Sangiorgi, Davide
Pubblicazione: (2024)

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

How to play the Accordion: Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus (extended version)
di: Cerda, Rémy, et al.
Pubblicazione: (2023)

Arboreal Categories: An Axiomatic Theory of Resources
di: Abramsky, Samson, et al.
Pubblicazione: (2021)

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

On syntactic concept lattice models for the Lambek calculus and infinitary action logic
di: Kuznetsov, Stepan L.
Pubblicazione: (2025)

Policies for Fair Exchanges of Resources
di: Ceragioli, Lorenzo, et al.
Pubblicazione: (2024)

Parametric Iteration in Resource Theories
di: Di Giorgio, Alessandro, et al.
Pubblicazione: (2025)

Game semantics for the constructive $μ$-calculus
di: Pacheco, Leonardo
Pubblicazione: (2023)