![](https://www.pdfsearch.io/img/1d332c8e20b484736ac15370261a341b.jpg) Date: 2011-06-17 10:04:34
| | Remarks on Krivine’s ”Lambda-calculus, types and models”, Chapter 1, §2 Darij Grinberg, 5 JuneIntroduction The point of this note is to 1) add some lemmata to Chapter 1 §2 of [1] (lemmata that are used iAdd to Reading ListSource URL: www.cip.ifi.lmu.deDownload Document from Source Website File Size: 160,65 KBShare Document on Facebook
|