![](https://www.pdfsearch.io/img/4dd407e9fe6b1063ae45990e6815a0d4.jpg) Date: 2016-06-28 21:00:30
| | A Mechanical Soundness Proof for Subtyping Over Recursive Types Timothy Jones David J. Pearce School of Engineering and Computer Science Victoria University of Wellington, New Zealand {tim,djp}@ecs.vuw.ac.nzAdd to Reading ListSource URL: homepages.ecs.vuw.ac.nzDownload Document from Source Website File Size: 196,25 KBShare Document on Facebook
|