I944Î BOOK REVIEWS

First Page		Document Content
Date: 2010-01-14 11:40:41 Lambda calculus Theory of computation Computability theory Logic in computer science Mathematical logic Combinatory logic Function Well-formed formula Gödel numbering Mathematics Theoretical computer science Logic		I944Î BOOK REVIEWS Add to Reading List Source URL: www.ams.org Download Document from Source Website File Size: 474,89 KB Share Document on Facebook

	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 DocID: 1vdfI - View Document
	Linear numeral systems Ian Mackie Abstract We investigate numeral systems in the lambda calculus; specifically in the linear lambda calculus where terms cannot be copied or erased. Our interest is threefold: representing DocID: 1uIpL - View Document
	Variable-free Formalization of the Curry-Howard Theory W. W. Tait The reduction of the lambda calculus to the theory of combinators in [Sch¨onﬁnkel, 1924] applies to positive implicational logic, i.e. to the typed lam DocID: 1ulFW - View Document
	Deriving Interpretations of the Gradually-Typed Lambda Calculus Álvaro García-Pérez Pablo Nogueira DocID: 1tILC - View Document
	A Standard Theory for the Pure Lambda-Value Calculus Álvaro García-Pérez Pablo Nogueira DocID: 1tItY - View Document