A dependent nominal type theory (0)

by J Cheney
Venue:Logical Methods in Computer Science