Back to Results
First PageMeta Content

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 i
Add to Reading List

Document Date: 2011-06-17 10:04:34

Open Document

File Size: 160,65 KB

Share Result on Facebook