βη-complete models for system F (1998)
by
Stefano Berardi
,
Chantal Berline
BibTeX
@MISC{Berardi98βη-completemodels,
author = {Stefano Berardi and Chantal Berline},
title = {βη-complete models for system F},
year = {1998}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We show that the model of system F introduced in [5], and having as polymorphic maps exactly all Scott continuous maps, is βη-complete. This proves in particular the existence of non trivial βη-complete models for F.
Citations
No citations identified.
