βη-complete models for System F (2000)

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