Games and definability for system F (1997)

Cached

Download Links

by Dominic J. D. Hughes
Venue:In 12th LICS
Citations:17 - 2 self