Retour à la page du séminaire

11/05/2000 : Stefano Berardi (Turin)
A domain of domains model of polymorphic systems.


We provide a simple concrete model for system F, where type are interpreted as elements of a Scott domain which are themselves Scott domain. This model is peculiar in that it allows the output value of a polymorphic map to really depend on the input type. In other words, it models polymorphic computations defined "by cases" over the type of the input. It is the only known non-syntactical model whose equational theory is beta-eta. This model was generalized to a whole class of models by Berline and Berardi