A full continuous model of polymorphism

Abstract

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.

Topics

0 Figures and Tables

    Download Full PDF Version (Non-Commercial Use)