Cover Image

A Note On Square-free Sequences and Anti-unification Type

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Cerna, David M.
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
by: Cerna, David M., et al.
Published: (2022)

Schematic Unification
by: Cerna, David M.
Published: (2023)

Nominal anti-unification
by: Baumgartner, Alexander, et al.
Published: (2025)

A unification of graded and substructural logics
by: Hanukaev, Peter, et al.
Published: (2026)

One is all you need: Second-order Unification without First-order Variables
by: Cerna, David M., et al.
Published: (2024)

FILO -- automated unification in $\mathcal{FL}_0$
by: Morawska, Barbara, et al.
Published: (2025)

Equational Anti-Unification over Absorption Theories
by: Ayala-Rincon, Mauricio, et al.
Published: (2023)

Solving unification in the description logic $\mathcal{FL}_\bot$
by: Morawska, Barbara, et al.
Published: (2024)

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
by: Dudenhefner, Andrej
Published: (2022)

Algebraic anti-unification
by: Antić, Christian
Published: (2024)

A Note on the Practice of Logical Inferentialism
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Universal Proof Theory, TACL 2022 Lecture Notes
by: Iemhoff, Rosalie, et al.
Published: (2023)

Differentiable Inductive Logic Programming in High-Dimensional Space
by: Purgał, Stanisław J., et al.
Published: (2022)

Scalable Knowledge Refactoring using Constrained Optimisation
by: Liu, Minghao, et al.
Published: (2024)

A Naive Encoding of Russell's Paradox in Type Theory
by: Qu, Zhuoyuan
Published: (2025)

On Small Types in Univalent Foundations
by: de Jong, Tom, et al.
Published: (2021)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
by: Sabelli, Pietro
Published: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

Cut-elimination for the alternation-free modal mu-calculus
by: Afshari, Bahareh, et al.
Published: (2025)

Cut-free Deductive System for Continuous Intuitionistic Logic
by: Geoffroy, Guillaume
Published: (2025)

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

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
by: Mannucci, Mirco A., et al.
Published: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
by: Fuchser, Janne, et al.
Published: (2025)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
by: Mannucci, Mirco A., et al.
Published: (2025)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
by: Alvarez, David Quinn
Published: (2025)

Groupoidal Realizability for Intensional Type Theory
by: Speight, Sam
Published: (2024)

Coslice Colimits in Homotopy Type Theory
by: Hart, Perry, et al.
Published: (2024)

Impredicative Encodings of (Higher) Inductive Types
by: Awodey, Steve, et al.
Published: (2018)

Syntax and semantics of multi-adjoint normal logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

Extended multi-adjoint logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

An SMT Theory for n-Indexed Sequences
by: Hara, Hichem Rami Ait El, et al.
Published: (2024)

On SMT Theory Design: The Case of Sequences
by: Hara, Hichem Rami Ait El, et al.
Published: (2024)

Principal Typing for Intersection Types, Forty-Five Years Later
by: Pautasso, Daniele, et al.
Published: (2026)