2 papers
cs.LO2026
Sensible Intersection Type Theories
Mariangiola Dezani-Ciancaglini, Besik Dundua, Paola Giannini +1
Finitary/static semantics in the form of intersection type assignments have become a paradigm for analysing the fine structure of all sorts of lambda-models. The key step is the co…
cs.AI2025
Higher-Order Pattern Unification Modulo Similarity Relations
Besik Dundua, Temur Kutsia
The combination of higher-order theories and fuzzy logic can be useful in decision-making tasks that involve reasoning across abstract functions and predicates, where exact matches…