Logical relations for names (2002)

by Yu Zhang