:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Blaauwbroek, Lasse, Olšák, Miroslav, Geuvers, Herman
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Logic in Computer Science 68N18 (Primary) 68N20, 03B40 (Secondary) D.3.1
Online Access:	https://arxiv.org/abs/2401.02948
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Tactician's Web of Large-Scale Formal Knowledge
by: Blaauwbroek, Lasse
Published: (2024)

Deconstructed Proto-Quipper: A Rational Reconstruction
by: Kavanagh, Ryan, et al.
Published: (2025)

Internalizing Extensions in Lattices of Type Theories
by: Chan, Jonathan
Published: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
by: Chan, Jonathan, et al.
Published: (2025)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
by: Walsh, Sean
Published: (2024)

The Semantics of Metapropramming in Prolog
by: Warren, David S.
Published: (2024)

Transport via Partial Galois Connections and Equivalences
by: Kappelmann, Kevin
Published: (2023)

Folding the Heighway dragon curve
by: Chang, Ting-Wu, et al.
Published: (2026)

Equivalence of Applicative Functors and Multifunctors
by: Abel, Andreas
Published: (2024)

Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products
by: Capucci, Matteo, et al.
Published: (2024)

On systematic construction of correct logic programs
by: Drabent, Włodzimierz
Published: (2025)

Erlang Binary and Source Code Obfuscation
by: Morse, Gregory, et al.
Published: (2026)

Implicit automata in λ-calculi III: affine planar string-to-string functions
by: Pradic, Cécilia, et al.
Published: (2024)

Braids, twists, trace and duality in combinatory algebras
by: Hasegawa, Masahito, et al.
Published: (2024)

Hallucination, abstention, and computable inseparability
by: Imamura, Takuma
Published: (2026)

On the geometric and Riemannian structure of the spaces of group equivariant non-expansive operators
by: Cascarano, Pasquale, et al.
Published: (2021)

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
by: Zeng, Zhengran, et al.
Published: (2024)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
by: Benjamin, Thibaut, et al.
Published: (2025)

(Co)condition hits the Path
by: Zhang, Tesla, et al.
Published: (2024)

Higher-Order Pattern Unification Modulo Similarity Relations
by: Dundua, Besik, et al.
Published: (2025)

Complete Robust Hybrid Systems Reachability
by: Wafa, Noah Abou El, et al.
Published: (2026)

A Minimal Substitution Basis for the Kalmár Elementary Functions
by: Prunescu, Mihai, et al.
Published: (2025)

Optimal matching for sharing and linearity analysis
by: Amato, Gianluca, et al.
Published: (2024)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)

An Internal Logic of Virtual Double Categories
by: Nasu, Hayato
Published: (2024)

Solovay reducibility implies S2a-reducibility
by: Titov, Ivan
Published: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
by: Merkle, Wolfgang, et al.
Published: (2024)

Array-Carrying Symbolic Execution for Function Contract Generation
by: Lu, Weijie, et al.
Published: (2026)

Polygraphs: From Rewriting to Higher Categories
by: Ara, Dimitri, et al.
Published: (2023)

A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
by: Alpay, Faruk, et al.
Published: (2025)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Profunctorial algebras
by: Aristote, Quentin, et al.
Published: (2026)

Digital Euler Characteristic Transform
by: Kirveslahti, Henry, et al.
Published: (2024)

Emulation-Completeness of Programming Languages
by: Morse, Gregory, et al.
Published: (2026)

Unraveling the iterative CHAD
by: Nunes, Fernando Lucatelli, et al.
Published: (2025)

A note on occur-check (extended report)
by: Drabent, Włodzimierz
Published: (2022)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
by: Amato, Gianluca, et al.
Published: (2024)

Term rewriting on nestohedra
by: Curien, Pierre-Louis, et al.
Published: (2024)