Bidirectional Comparison of Nominal Sets: Asymmetry of Proximity

Maciej Krawczak, Grażyna Szkatuła