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

Explicit substitutions.

Abadi, Martin; Cardelli, Luca; Curien, Pierre-Louis; Levy, Jean-Jacques.

SRC-RR-54

Keyword(s): Lambda calculus;

56 Pages

Back to Index

privacy statement using this site means you accept its terms feedback to webmaster