βη-complete models for System F (2000)

by Stefano Berardi , Chantal Berline
Citations:3 - 2 self