A simple nominal type theory. (2009)

by James Cheney
Venue:Electronic Notes in Theoretical Computer Science,