Generalised Name Abstraction for Nominal Sets.

Ranald Clouston

Browse the full FOSSACS paper archive.