Cover Image

Substitution for Non-Wellfounded Syntax with Binders through Monoidal Categories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Matthes, Ralph, Wullaert, Kobe, Ahrens, Benedikt
Format:	Preprint
Published:	2023
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Category Theory for Programming
by: Ahrens, Benedikt, et al.
Published: (2022)

From Semantics to Syntax: A Type Theory for Comprehension Categories
by: Najmaei, Niyousha, et al.
Published: (2025)

Scott's Representation Theorem and the Univalent Karoubi Envelope
by: van der Leer, Arnoud, et al.
Published: (2025)

An Introduction to Different Approaches to Initial Semantics
by: Lamiaux, Thomas, et al.
Published: (2024)

A Unified Framework for Initial Semantics
by: Lamiaux, Thomas, et al.
Published: (2025)

2-Functoriality of Initial Semantics, and Applications
by: Ahrens, Benedikt, et al.
Published: (2025)

Syntax Repair as Language Intersection
by: Considine, Breandan
Published: (2025)

Monoid Structures on Indexed Containers
by: De Pascalis, Michele, et al.
Published: (2025)

Invertible Syntax without the Tuples (Functional Pearl)
by: Boespflug, Mathieu, et al.
Published: (2025)

Contextual MetaML: Syntax and Full Abstraction
by: Yin, Haoxuan, et al.
Published: (2026)

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
by: Kudasov, Nikolai, et al.
Published: (2024)

Lexical Substitution is not Synonym Substitution: On the Importance of Producing Contextually Relevant Word Substitutes
by: Vladika, Juraj, et al.
Published: (2025)

Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance
by: Song, Yewei, et al.
Published: (2024)

Extended Abstract: Towards a Performance Comparison of Syntax and Type-Directed NbE
by: Gould, Chester J. F., et al.
Published: (2025)

Syntax-Guided Automated Program Repair for Hyperproperties
by: Beutner, Raven, et al.
Published: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
by: Barenbaum, Pablo, et al.
Published: (2024)

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
by: McCann, Alan L.
Published: (2026)

SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation
by: Khan, M Zafir Sadik, et al.
Published: (2025)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
by: Feng, Qiong, et al.
Published: (2026)

The Rezk Completion for Elementary Topoi
by: Wullaert, Kobe, et al.
Published: (2026)

Syntax and Semantics of Linear Dependent Types
by: Vákár, Matthijs
Published: (2014)

Galley: Modern Query Optimization for Sparse Tensor Programs
by: Deeds, Kyle, et al.
Published: (2024)

Insum: Sparse GPU Kernels Simplified and Optimized with Indirect Einsums
by: Won, Jaeyeon, et al.
Published: (2025)

The Continuous Tensor Abstraction: Where Indices are Real
by: Won, Jaeyeon, et al.
Published: (2024)

Prompt Decorators: A Declarative and Composable Syntax for Reasoning, Formatting, and Control in LLMs
by: Heris, Mostapha Kalami
Published: (2025)

Complete Test Suites for Automata in Monoidal Closed Categories
by: Kocsis, Bálint, et al.
Published: (2024)

ViCAR: Visualizing Categories with Automated Rewriting in Coq
by: Shah, Bhakti, et al.
Published: (2024)

A Cartesian Closed Category for Random Variables
by: Di Gianantonio, Pietro, et al.
Published: (2024)

Mechanised Hypersafety Proofs about Structured Data: Extended Version
by: Gladshtein, Vladimir, et al.
Published: (2024)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
by: Bollig, Benedikt
Published: (2026)

Provable Coordination for LLM Agents via Message Sequence Charts
by: Bollig, Benedikt, et al.
Published: (2026)

CarMem: Enhancing Long-Term Memory in LLM Voice Assistants through Category-Bounding
by: Kirmayr, Johannes, et al.
Published: (2025)

The Syntax and Semantics of einsum
by: Wenig, Maurice, et al.
Published: (2025)

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

Monoidal Relative Categories Model Monoidal $\infty$-Categories
by: Arakawa, Kensuke
Published: (2025)

Functional Ownership through Fractional Uniqueness
by: Marshall, Danielle, et al.
Published: (2023)

Comparing semantic frameworks for dependently-sorted algebraic theories
by: Ahrens, Benedikt, et al.
Published: (2024)

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
by: Merckx, Jules, et al.
Published: (2025)

Static Analysis Under Non-Deterministic Program Assumptions
by: Rasheed, Abdullah H.
Published: (2026)

Spegion: Implicit and Non-Lexical Regions with Sized Allocations
by: Hughes, Jack, et al.
Published: (2025)