3 citations · 7 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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.LO2021
PLog: a system for rule-based programming
Besik Dundua
In this paper, we give a brief overview of the rule-based programming system, called PLog and illustrate its capabilities.