Jump to content


UNITED STATES
hp.com home products and services support and drivers solutions how to buy
» contact hp


 
 
hp.com home

HP Labs Technical Reports
printable version

» hp labs
» about hp labs
» research programs
» people
» worldwide sites
» downloads
» technical reports
» news and events
» careers @ hp labs
» contact hp labs
Content starts here


 
Click here for full text: PDF

The Genericity Theorem and the Notion of Parametricity in the Polymorphic Lambda-calculus.

Longo, Giuseppe; Milsted, Kathleen; Soloviev, Sergei.

PRL-RR-21
December 1992
External

Back to Index
privacy statement using this site means you accept its terms feedback to webmaster
© 1994-2002 Hewlett-Packard Company