Merkliste 
 1 Ergebnisse 
 
1

A full continuous model of polymorphism:

Barbanera, Franco ; Berardi, Stefano
Theoretical Computer Science.  290 (2003)  1 - p. 407-428 , 2003