Copertina

Substitution Without Copy and Paste

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Altenkirch, Thorsten, Burke, Nathaniel, Wadler, Philip
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formalising Inductive and Coinductive Containers
di: Damato, Stefania, et al.
Pubblicazione: (2024)

Synthetic 1-Categories in Directed Type Theory
di: Altenkirch, Thorsten, et al.
Pubblicazione: (2024)

The Groupoid-Syntax of Type Theory is a Set
di: Altenkirch, Thorsten, et al.
Pubblicazione: (2025)

Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday
di: Altenkirch, Thorsten, et al.
Pubblicazione: (2026)

Explicit Weakening
di: Wadler, Philip
Pubblicazione: (2024)

Linear Temporal Justification Logics with Past Operators
di: Ghari, Meghdad
Pubblicazione: (2018)

Admissibility of Substitution Rule in Cyclic-Proof Systems
di: Saotome, Kenji, et al.
Pubblicazione: (2025)

Substitution in the lambda Calculus and the role of the Curry School
di: Kamareddine, Fairouz
Pubblicazione: (2024)

Well-Founded Coalgebras Meet König's Lemma
di: Urbat, Henning, et al.
Pubblicazione: (2025)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
di: Wißmann, Thorsten, et al.
Pubblicazione: (2024)

Property Checking Without Inductive Invariants
di: Goldberg, Eugene
Pubblicazione: (2016)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
di: Nemati, Hamed, et al.
Pubblicazione: (2025)

A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
di: Lenke, Fabian, et al.
Pubblicazione: (2026)

A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report
di: Ceulemans, Joris, et al.
Pubblicazione: (2024)

Trees in Coalgebra from Generalized Reachability
di: Wißmann, Thorsten, et al.
Pubblicazione: (2025)

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
di: Joshi, Varad, et al.
Pubblicazione: (2025)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
di: Accattoli, Beniamino
Pubblicazione: (2022)

Type Theory with Single Substitutions
di: Kaposi, Ambrus, et al.
Pubblicazione: (2025)

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
di: Fiore, Marcelo, et al.
Pubblicazione: (2025)

LFPL: Revisited and Mechanized
di: Glover, Nathaniel, et al.
Pubblicazione: (2026)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

Intrinsically Correct Algorithms and Recursive Coalgebras
di: Alexandru, Cass, et al.
Pubblicazione: (2025)

Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
di: Zhu, Shaowei, et al.
Pubblicazione: (2024)

A Categorical Framework for Modeling with Stock and Flow Diagrams
di: Baez, John C., et al.
Pubblicazione: (2022)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
di: Livson, Ori, 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)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
di: Hansen, Helle Hvid, et al.
Pubblicazione: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
di: Ayhan, Sara, et al.
Pubblicazione: (2025)

On semantics of first-order justification logic with binding modalities
di: Yavorskaya, Tatiana, et al.
Pubblicazione: (2025)

Basis-Sensitive Quantum Typing via Realisability
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2025)

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

Terminating Hybrid Tableaus for Ordered Models
di: Nishimura, Yuki
Pubblicazione: (2025)

Skolemization In Intermediate Logics
di: Baaz, Matthias, et al.
Pubblicazione: (2025)

Shininess, strong politeness, and unicorns
di: Przybocki, Benjamin, et al.
Pubblicazione: (2025)

Proofs that Modify Proofs, 1/2
di: Towsner, Henry
Pubblicazione: (2025)

Quantum modal logic
di: Tokuo, Kenji
Pubblicazione: (2025)

Simple Classes of Automatic Structures
di: Blumensath, Achim
Pubblicazione: (2025)