A full continuous model of polymorphism

Franco Barbanera, Stefano Berardi. A full continuous model of polymorphism. Theoretical Computer Science, 290(1):407-428, 2003.

Abstract

Abstract is missing.