3 citations · 8 across the 7 of their papers we have counts for
1 paper · 1 filter
Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
We introduce a new form of logical relation which, in the spirit of metric relations, allows us to assign each pair of programs a quantity measuring their distance, rather than a b…