History-Dependent Nominal μ-Calculus.

Clovis Eberhart, Bartek Klin

Browse the full LICS paper archive.