<--- Back to Details
First PageDocument Content
Date: 2007-08-16 22:48:54

Environmental Bisimulations for Higher-Order Languages Davide Sangiorgi University of Bologna Abstract

Add to Reading List

Source URL: www-kb.is.s.u-tokyo.ac.jp

Download Document from Source Website

File Size: 151,40 KB

Share Document on Facebook

Similar Documents