Copertina

A Complete V-Equational System for Graded lambda-Calculus

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dahlqvist, Fredrik, Neves, Renato
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science Category Theory 68Q01 F.3.0
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The syntactic side of autonomous categories enriched over generalised metric spaces
di: Dahlqvist, Fredrik, et al.
Pubblicazione: (2022)

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
di: Galmiche, Didier, et al.
Pubblicazione: (2024)

Composing Codensity Bisimulations
di: Kori, Mayuko, et al.
Pubblicazione: (2024)

Algebraic Proof Theory for Infinitary Action Logic
di: Fussner, Wesley, et al.
Pubblicazione: (2025)

A Classifying Topos for the Spectrum of Equivalences
di: Oggad, Kenan
Pubblicazione: (2026)

Cubical coherent confluence, $ω$-groupoids and the cube equation
di: Malbos, Philippe, et al.
Pubblicazione: (2025)

Provability in BI's Sequent Calculus is Decidable
di: Gheorghiu, Alexander, et al.
Pubblicazione: (2021)

Homological Invariants of Higher-Order Equational Theories
di: Ikebuchi, Mirai
Pubblicazione: (2025)

Single-set cubical categories and their formalisation with a proof assistant (extended version)
di: Malbos, Philippe, et al.
Pubblicazione: (2024)

E-variables and tests of randomness for distribution classes
di: Potapov, Georgii, et al.
Pubblicazione: (2026)

Compositionality of Lyapunov functions via assume-guarantee reasoning
di: Capucci, Matteo, et al.
Pubblicazione: (2026)

Deciding subspace reachability problems with application to Skolem's Problem
di: Everett, Samuel
Pubblicazione: (2024)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
di: Jaakkola, Reijo, et al.
Pubblicazione: (2024)

A Complete Fragment of LTL(EB)
di: Ferrarotti, Flavio, et al.
Pubblicazione: (2024)

Graphical Quadratic Algebra
di: Stein, Dario, et al.
Pubblicazione: (2024)

A taxonomy of categories for relations
di: Cioffo, Cipriano Junior, et al.
Pubblicazione: (2025)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
di: Wang, Shuai
Pubblicazione: (2024)

Arithmetics within the Linear Time Hierarchy
di: Pollett, Chris
Pubblicazione: (2025)

An Analysis of Symmetry in Quantitative Semantics
di: Clairambault, Pierre, et al.
Pubblicazione: (2024)

The Solver's Paradox in Formal Problem Spaces
di: Rosko, Milan
Pubblicazione: (2025)

Towards a theory of natural directed paths
di: Gaucher, Philippe
Pubblicazione: (2023)

An MDL-Style Cost Functional KC, Distribution-Preserving Reductions ($A2^d$), and an $AC^0$+log Lower Bound for 3SAT via Balanced 3XOR
di: Lela, Marko
Pubblicazione: (2025)

Graded Monad Coalgebras for Continuous-Time Transition Systems
di: Di Lavore, Elena, et al.
Pubblicazione: (2026)

The equational theory of the Weihrauch lattice with (iterated) composition
di: Pradic, Cécilia
Pubblicazione: (2024)

Conformance Games for Graded Semantics
di: Forster, Jonas, et al.
Pubblicazione: (2024)

Rewriting Systems on Arbitrary Monoids
di: Magalhães, Eduardo
Pubblicazione: (2026)

A Simple Categorical Calculus of Interacting Processes
di: Nester, Chad, et al.
Pubblicazione: (2026)

There is a deep 1-generic set
di: Li, Ang
Pubblicazione: (2024)

2-Coherent Internal Models of Homotopical Type Theory
di: Chen, Joshua
Pubblicazione: (2025)

Cogent argument extensions are weakly admissible but not vice versa
di: Bodanza, Gustavo
Pubblicazione: (2025)

Simulating and model checking membrane systems using strategies in Maude
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Uniform Preorders and Partial Combinatory Algebras
di: Frey, Jonas
Pubblicazione: (2024)

Interacting Monoidal Structures with Applications in Computing
di: Cranch, James, et al.
Pubblicazione: (2024)

The Relational Quotient Completion
di: Dagnino, Francesco, et al.
Pubblicazione: (2024)

Intrinsically Correct Sorting in Cubical Agda
di: Alexandru, Cass, et al.
Pubblicazione: (2024)

A Logspace Constructive Proof of L=SL
di: Buss, Sam, et al.
Pubblicazione: (2025)

The Algebra of Nondeterministic Finite Automata
di: Gorrieri, Roberto
Pubblicazione: (2023)

Axiomatizing NFAs Generated by Regular Grammars
di: Gorrieri, Roberto
Pubblicazione: (2024)

Principal Types as Partial Involutions
di: Honsell, Furio, et al.
Pubblicazione: (2024)

The Maude strategy language
di: Eker, Steven, et al.
Pubblicazione: (2024)