Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2510.07258 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Encoding call-by-push-value in the pi-calculus
di: Bennetzen, Benjamin, et al.
Pubblicazione: (2025)
di: Bennetzen, Benjamin, et al.
Pubblicazione: (2025)
A simple formalization of alpha-equivalence
di: Apinis, Kalmer, et al.
Pubblicazione: (2025)
di: Apinis, Kalmer, et al.
Pubblicazione: (2025)
A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
di: Oda, Yukihiro
Pubblicazione: (2025)
di: Oda, Yukihiro
Pubblicazione: (2025)
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
di: Ayhan, Sara
Pubblicazione: (2023)
di: Ayhan, Sara
Pubblicazione: (2023)
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)
di: Nogueira, Pablo, et al.
Pubblicazione: (2022)
Interpolation for the two-way modal mu-calculus
di: Kloibhofer, Johannes, et al.
Pubblicazione: (2025)
di: Kloibhofer, Johannes, et al.
Pubblicazione: (2025)
A proof theory of (omega-)context-free languages, via non-wellfounded proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)
di: Das, Anupam, et al.
Pubblicazione: (2024)
Cut-elimination for the alternation-free modal mu-calculus
di: Afshari, Bahareh, et al.
Pubblicazione: (2025)
di: Afshari, Bahareh, et al.
Pubblicazione: (2025)
A concrete model for a typed linear algebraic lambda calculus
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2018)
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2018)
A proof-theoretic approach to abstract interpretation
di: D'Silva, Vijay, et al.
Pubblicazione: (2026)
di: D'Silva, Vijay, et al.
Pubblicazione: (2026)
The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)
di: Pacheco, Leonardo
Pubblicazione: (2026)
A linear linear lambda-calculus
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2022)
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2022)
A logic of judgmental existence and its relation to proof irrelevance
di: Pezlar, Ivo
Pubblicazione: (2024)
di: Pezlar, Ivo
Pubblicazione: (2024)
The calculus of neo-Peircean relations
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)
Resource approximation for the $λμ$-calculus
di: Barbarossa, Davide
Pubblicazione: (2024)
di: Barbarossa, Davide
Pubblicazione: (2024)
The higher dimensional propositional calculus
di: Bucciarelli, Antonio, et al.
Pubblicazione: (2022)
di: Bucciarelli, Antonio, et al.
Pubblicazione: (2022)
A linear proof language for second-order intuitionistic linear logic
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2023)
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2023)
Bijective proofs for Eulerian numbers of types B and D
di: Santocanale, Luigi
Pubblicazione: (2021)
di: Santocanale, Luigi
Pubblicazione: (2021)
Higher order differential calculus in mathlib
di: Gouëzel, Sébastien
Pubblicazione: (2025)
di: Gouëzel, Sébastien
Pubblicazione: (2025)
An implicit function theorem for the stream calculus
di: Boreale, Michele, et al.
Pubblicazione: (2023)
di: Boreale, Michele, et al.
Pubblicazione: (2023)
Approximation theory for distant Bang calculus
di: Chardonnet, Kostia, et al.
Pubblicazione: (2026)
di: Chardonnet, Kostia, et al.
Pubblicazione: (2026)
On the complexity of normalization for the planar $λ$-calculus
di: Das, Anupam, et al.
Pubblicazione: (2024)
di: Das, Anupam, et al.
Pubblicazione: (2024)
The proof theory and semantics of second-order (intuitionistic) tense logic
di: Becker, Justus, et al.
Pubblicazione: (2026)
di: Becker, Justus, et al.
Pubblicazione: (2026)
Wider systems for linear logic with fixed points: proof theory and complexity
di: Das, Anupam, et al.
Pubblicazione: (2026)
di: Das, Anupam, et al.
Pubblicazione: (2026)
A proof theory of right-linear (omega-)grammars via cyclic proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)
di: Das, Anupam, et al.
Pubblicazione: (2024)
A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)
A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
di: Alvarez, David Quinn
Pubblicazione: (2025)
di: Alvarez, David Quinn
Pubblicazione: (2025)
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
di: Oda, Yukihiro, et al.
Pubblicazione: (2021)
di: Oda, Yukihiro, et al.
Pubblicazione: (2021)
A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
di: Oda, Yukihiro, et al.
Pubblicazione: (2022)
di: Oda, Yukihiro, et al.
Pubblicazione: (2022)
The decohered ZX-calculus
di: Carette, Titouan, et al.
Pubblicazione: (2025)
di: Carette, Titouan, et al.
Pubblicazione: (2025)
A dependently-typed calculus of event telicity and culminativity
di: Kovalev, Pavel, et al.
Pubblicazione: (2025)
di: Kovalev, Pavel, et al.
Pubblicazione: (2025)
Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
di: Kozhemiachenko, Daniil
Pubblicazione: (2024)
di: Kozhemiachenko, Daniil
Pubblicazione: (2024)
Towards solid abelian groups: A formal proof of Nöbeling's theorem
di: Asgeirsson, Dagur
Pubblicazione: (2023)
di: Asgeirsson, Dagur
Pubblicazione: (2023)
Lean-SMT: An SMT tactic for discharging proof goals in Lean
di: Mohamed, Abdalrhman, et al.
Pubblicazione: (2025)
di: Mohamed, Abdalrhman, et al.
Pubblicazione: (2025)
On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
di: Herbelin, Hugo
Pubblicazione: (2024)
di: Herbelin, Hugo
Pubblicazione: (2024)
A concise proof of Commoner's theorem
di: Jancar, Petr
Pubblicazione: (2024)
di: Jancar, Petr
Pubblicazione: (2024)
An ecumenical view of proof-theoretic semantics
di: Nascimento, Victor, et al.
Pubblicazione: (2023)
di: Nascimento, Victor, et al.
Pubblicazione: (2023)
On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
di: Bauer, Esaïe, et al.
Pubblicazione: (2025)
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)
di: Ahvonen, Veeti, et al.
Pubblicazione: (2025)
Short proofs without interference
di: Rebola-Pardo, Adrian
Pubblicazione: (2025)
di: Rebola-Pardo, Adrian
Pubblicazione: (2025)