βη-complete models for system F (0)

by S Berardi, C Berline
Venue:Mathematical Structure in Computer Science