Cover Image

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus

Fuente: arXiv

Saved in:

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

Similar Items

A Note On Square-free Sequences and Anti-unification Type
by: Cerna, David M.
Published: (2024)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
by: Kobayashi, Naoki
Published: (2024)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
by: Genco, Francesco A., et al.
Published: (2023)

Groups and Inverse Semigroups in Lambda Calculus
by: Bucciarelli, Antonio, et al.
Published: (2026)

A Rewriting Theory for Quantum Lambda-Calculus
by: Faggian, Claudia, et al.
Published: (2024)

The Lambda Calculus is Quantifiable
by: Maestracci, Valentin, et al.
Published: (2024)

Variable Elimination as Rewriting in a Linear Lambda Calculus
by: Ehrhard, Thomas, et al.
Published: (2025)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
by: Santo, José Espírito, et al.
Published: (2022)

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages
by: Barbarossa, Davide, et al.
Published: (2025)

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)

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Interpreting Lambda Calculus in Domain-Valued Random Variables
by: Furber, Robert, et al.
Published: (2021)

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
by: Jagadeesan, Radha
Published: (2024)

An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus
by: Nederpelt, Rob, et al.
Published: (2026)

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

Intersection Types for a Computational Lambda-Calculus with Global State
by: de'Liguoro, Ugo, et al.
Published: (2021)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
by: Bertrand, Meven Lennon, et al.
Published: (2026)

Quantitative Types for the Functional Machine Calculus
by: Heijltjes, Willem
Published: (2025)

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

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

Adding Negation to Lambda Mu
by: van Bakel, Steffen
Published: (2021)

Complete and Terminating Tableau Calculus for Undirected Graph
by: Nishimura, Yuki, et al.
Published: (2024)

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

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
by: Matsuoka, Satoshi
Published: (2026)

The Flower Calculus
by: Donato, Pablo
Published: (2024)

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

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

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

Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction
by: Chardonnet, Kostia, et al.
Published: (2026)

The Tensor-Plus Calculus
by: Chardonnet, Kostia, et al.
Published: (2025)

Lax Modal Lambda Calculi
by: Valliappan, Nachiappan
Published: (2025)

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

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
by: Komel, Anja Petković, et al.
Published: (2025)

Efficient Evaluation of Arbitrary Relational Calculus Queries
by: Raszyk, Martin, et al.
Published: (2022)

Six Birds: Foundations of Emergence Calculus
by: Tsiokos, Ioannis
Published: (2026)

Proofs as Execution Trees for the π-Calculus
by: Acclavio, Matteo, et al.
Published: (2024)

Simply typed convertibility is TOWER-complete even for safe lambda-terms
by: Nguyên, Lê Thành Dũng
Published: (2023)

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