output
20202026
most citedQuantum witness and invasiveness of cosmic neutrino measurements

10 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

1 paper · 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…