Merkliste 
 1 Ergebnisse 
 
1

Can Addresses be Types?:

Anderson, Christopher ; Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola.
Electronic Notes in Theoretical Computer Science.  82 (2003)  8 - p. 108-129 , 2003