1![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 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](https://www.pdfsearch.io/img/1d332c8e20b484736ac15370261a341b.jpg) | Add to Reading ListSource URL: www.cip.ifi.lmu.deLanguage: English - Date: 2011-06-17 10:04:34
|
---|
2 | Add to Reading ListSource URL: www.ianmackie.comLanguage: English - Date: 2018-07-24 04:05:05
|
---|
3![Variable-free Formalization of the Curry-Howard Theory W. W. Tait The reduction of the lambda calculus to the theory of combinators in [Sch¨onfinkel, 1924] applies to positive implicational logic, i.e. to the typed lam Variable-free Formalization of the Curry-Howard Theory W. W. Tait The reduction of the lambda calculus to the theory of combinators in [Sch¨onfinkel, 1924] applies to positive implicational logic, i.e. to the typed lam](https://www.pdfsearch.io/img/3eb38529e5c4059e0dff4ede5483e467.jpg) | Add to Reading ListSource URL: home.uchicago.eduLanguage: English - Date: 2003-08-18 10:30:23
|
---|
4 | Add to Reading ListSource URL: babel.ls.fi.upm.es- Date: 2016-05-31 08:02:48
|
---|
5 | Add to Reading ListSource URL: babel.ls.fi.upm.es- Date: 2016-05-31 07:48:41
|
---|
6 | Add to Reading ListSource URL: www.nada.kth.se- Date: 2007-05-22 07:13:48
|
---|
7 | Add to Reading ListSource URL: www.cs.tau.ac.il- Date: 2016-12-07 03:56:32
|
---|
8 | Add to Reading ListSource URL: www.cs.tau.ac.il- Date: 2016-03-28 02:27:38
|
---|
9 | Add to Reading ListSource URL: www.cs.tau.ac.il- Date: 2016-03-28 02:24:38
|
---|
10 | Add to Reading ListSource URL: www.cs.tau.ac.il- Date: 2016-12-09 07:15:11
|
---|