Cover Image
Read Now

1
by Barendregt, H. P., Dekkers, Wil, Statman, Richard, Alessi, Fabio
Published 2013
Cambridge University Press
Table of Contents: “...Introduction -- Part 1. Simple types. The simply typed lambda calculus -- Properties -- Tools...”
Cover Image
Read Now

2
by Ronchi Della Rocca, Simona, Paolini, Luca
Published 2004
Springer Berlin Heidelberg
“...The parametric lambda calculus is a metamodel for reasoning about various kinds of computations...”
Cover Image
Read Now

3
by Hindley, J. Roger, Seldin, J. P.
Published 2008
Cambridge University Press
Table of Contents: “...Preface; 1. The lambda-calculus; 2. Combinatory logic; 3. The power of lambda and combinations; 4...”
Cover Image
Read Now

4
by Draheim, Dirk
Published 2017
Springer Berlin Heidelberg
Table of Contents: “...Part I: The Probabilistic Lambda-Calculus and its Semantics -- Introduction -- Syntax...”
Cover Image
Read Now

6
by Kluge, Werner
Published 2005
Springer Berlin Heidelberg
“... efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit...”
Cover Image
Read Now

7
by Mazzola, Guerino, Milmeister, Gérard, Weissmann, Jody
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Theory -- Wavelets -- Fractals -- Neural Networks -- Probability Theory -- Lambda Calculus...”
Cover Image
Read Now

8
by Sørensen, Morten Heine
Published 2006
Elsevier
Table of Contents: “...Preface -- Acknowledgements -- 1. Typefree lambda-calculus -- 2. Intuitionistic logic -- 3. Simply...”
Cover Image
Read Now

9
by Lolli, Gabriele
Published 1984
North-Holland
Subjects: “...Lambda calculus / Congresses...”
Cover Image
Read Now

10
by Benthem, Johan van
Published 1991
North-Holland
Table of Contents: “... of Contents; Preface; Chapter I Introduction; 1 Two Traditions; 2 Lambda Calculus and Theory of Types; 3...”
Cover Image
Read Now

11
by Turing, Alan
Published 2001
Elsevier Science
Subjects: “...Lambda-calculus / gtt...”
Cover Image
Read Now

12
Published 1975
Springer Berlin Heidelberg
Table of Contents: “... -- A survey of some useful partial order relations on terms of the lambda calculus -- ?-Terms as total...”
Cover Image
Read Now

13
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... and lambda-calculus, a short outline -- Cartesian closed categories and lambda-calculus -- Cartesian closed...”
Cover Image
Read Now

14
by Stark, W. Richard
Published 1990
Springer New York
Table of Contents: “... of LISP -- 7.1 The lambda calculus defined -- 7.2 Straightforward computation in the lambda calculus...”
Cover Image
Read Now

15
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Elementary Affine Logic and the Call-by-Value Lambda Calculus -- Rank-2 Intersection and Polymorphic...”
Cover Image
Read Now

16
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Invited Talk -- Rewriting Models of Boolean Programs -- Session 4. Lambda Calculus -- Syntactic...”
Cover Image
Read Now

17
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”
Cover Image
Read Now

18
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... -- An interval model for second order lambda calculus -- Logical aspects of denotational semantics -- Connections...”
Cover Image
Read Now

19
by Majkic, Zoran
Published 2023
De Gruyter
“... of Internal symmetry to Computer Science: for Intuitionistic Logic, Untyped Lambda Calculus with Fixpoint...”
Cover Image
Read Now

20
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... for EDSL -- The Blame theorem for a linear lambda calculus with type dynamic -- Higher-order size checking...”