A Linear-Time Nominal μ-Calculus with Name Allocation.

Daniel Hausmann, Stefan Milius, Lutz Schrder

Browse the full MFCS paper archive.