Cover Image

Regular Typed Unification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barbosa, João, Florido, Mário, Costa, Vítor Santos
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

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

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Unification in Matching Logic -- Revisited
by: Kurucz, Ádám, et al.
Published: (2024)

The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories
by: Baader, Franz, et al.
Published: (2026)

On Problems Dual to Unification: The String-Rewriting Case
by: Akçam, Zümrüt, et al.
Published: (2021)

Unification of Deterministic Higher-Order Patterns (Full Version)
by: Niederhauser, Johannes, et al.
Published: (2026)

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders
by: Fernández, Maribel, et al.
Published: (2025)

Superposition with Delayed Unification
by: Bhayat, Ahmed, et al.
Published: (2024)

Implementing Dependent Type Theory Inhabitation and Unification
by: Norman, Chase, et al.
Published: (2026)

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

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

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

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

Towards a Unification of Logic and Information Theory
by: Lastras, Luis A., et al.
Published: (2023)

A Coq Formalization of Unification Modulo Exclusive-Or
by: Xu, Yichi, et al.
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)

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

An Empirical Study of Rational Tree Unification for miniKanren
by: Domoratskiy, Eridan, et al.
Published: (2025)

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

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

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

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
by: Chen, Zhibo, et al.
Published: (2023)

$ω$-Regular Energy Problems
by: Dziadek, Sven, et al.
Published: (2022)

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

Complete $ω$-Regular Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2026)

Regular expressions over countable words
by: Colcombet, Thomas, et al.
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)

Regular Games with Imperfect Information Are Not That Regular
by: Doyen, Laurent, et al.
Published: (2024)

On the Computability of Measures of Regular Sets of Infinite Trees
by: Niwiński, Damian, et al.
Published: (2023)

On the Computational Content of Moduli of Regularity and their Logical Strength
by: Kohlenbach, Ulrich
Published: (2026)

A Hierarchy of Supermartingales for $ω$-Regular Verification
by: Kura, Satoshi, et al.
Published: (2025)

Aczel-Mendler Bisimulations in a Regular Category
by: Dubut, Jeremy
Published: (2023)

The Power of Regular Constraint Propagation (Technical Report)
by: Hague, Matthew, et al.
Published: (2025)