Lambda Calculus

70 books
The lambda calculusH. P. Barendregt
⏱ 10h 21m

The lambda calculus

H. P. Barendregt

1981621 pp.
An introduction to functional programming through Lambda calculusGreg Michaelson
⏱ 5h 20m

An introduction to functional programming through Lambda calculus

Greg Michaelson

2011320 pp.
[Lambda]-calculus and combinatorsJ. Roger Hindley
⏱ 5h 58m

[Lambda]-calculus and combinators

J. Roger Hindley

2008358 pp.
Lambda calculus with typesH. P. Barendregt
⏱ 13h 53m

Lambda calculus with types

H. P. Barendregt

2013833 pp.
Typed Lambda Calculi and ApplicationsPawel Urzyczyn
⏱ 7h 13m

Typed Lambda Calculi and Applications

Pawel Urzyczyn

1899433 pp.
Lectures on the Curry-Howard isomorphismMorten Heine Sørensen
⏱ 7h 29m

Lectures on the Curry-Howard isomorphism

Morten Heine Sørensen

2006449 pp.
Lambda CalculiChris Hankin
⏱ 2h 56m

Lambda Calculi

Chris Hankin

1994176 pp.
Typed lambda calculi and applicationsInternational Conference on Typed Lambda Calculi and Applications (2nd 1995 Edinburgh, Scotland)
⏱ 7h 22m

Typed lambda calculi and applications

International Conference on Typed Lambda Calculi and Applications (2nd 1995 Edinburgh, Scotland)

1995442 pp.
Typed Lambda Calculi and ApplicationsSamson Abramsky
⏱ 7h 11m

Typed Lambda Calculi and Applications

Samson Abramsky

2001431 pp.
Typed Lambda Calculi and ApplicationsJean-Yves Girard
⏱ 6h 37m

Typed Lambda Calculi and Applications

Jean-Yves Girard

1999397 pp.
Introduction to combinators and [lambda]-calculusJ. Roger Hindley
⏱ 6h 0m

Introduction to combinators and [lambda]-calculus

J. Roger Hindley

1986360 pp.
The lambda calculusH.P. (Hendrik Pieter) Barendregt
⏱ 10h 15m

The lambda calculus

H.P. (Hendrik Pieter) Barendregt

1981615 pp.
Syntactic aspects of the non-deterministic lambda calculusKeshav Sharma
⏱ 1h 12m

Syntactic aspects of the non-deterministic lambda calculus

Keshav Sharma

198472 pp.
A theory of bisimulation for the (lambda)-calculusDavide Sangiorgi
⏱ 34m

A theory of bisimulation for the (lambda)-calculus

Davide Sangiorgi

199334 pp.
Alternative axiomatizations of models of the Lambda-calculusD. Cooperstock
⏱ 1h 12m

Alternative axiomatizations of models of the Lambda-calculus

D. Cooperstock

198172 pp.
Surjective pairing and strong normalizationRoelof Cornelis de Vrijer
⏱ 2h 9m

Surjective pairing and strong normalization

Roelof Cornelis de Vrijer

1987129 pp.
Relating models of polymorphismJosé Meseguer
⏱ 35m

Relating models of polymorphism

José Meseguer

198835 pp.
Categories for typesRoy L. Crole
⏱ 5h 35m

Categories for types

Roy L. Crole

1993335 pp.
Typed lambda calculi and applicationsInternational Conference on Typed Lambda Calculi and Applications (4th 1999 L'Aquila, Italy)
⏱ 6h 36m

Typed lambda calculi and applications

International Conference on Typed Lambda Calculi and Applications (4th 1999 L'Aquila, Italy)

1999396 pp.
Typed Lambda Calculi and ApplicationsMartin Hofmann
⏱ 5h 17m

Typed Lambda Calculi and Applications

Martin Hofmann

2003317 pp.
Page 1 of 4Next →