Retour à la page du séminaire

###
11/05/2000 : Stefano Berardi (Turin)

A domain of domains model of polymorphic systems.

**abstract**
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