A full continuous model of polymorphism


We introduce a model of the second-order lambda calculus. Such a model is a Scott domain whose elements are themselves Scott domains, and in it polymorphic maps are interpreted by generic continous maps.


0 Figures and Tables

    Download Full PDF Version (Non-Commercial Use)