Lambda Calcul

9 books
LambdaJean-Louis Krivine
⏱ 2h 56m

Lambda

Jean-Louis Krivine

1990176 pp.
Elements of functional programmingChris Reade
⏱ 10h 0m

Elements of functional programming

Chris Reade

1989600 pp.
Typed lambda calculi and applicationsInternational Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan)
⏱ 7h 12m

Typed lambda calculi and applications

International Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan)

2005432 pp.
Introduction à la théorie des langages de programmationBertrand Meyer
⏱ 7h 31m

Introduction à la théorie des langages de programmation

Bertrand Meyer

1997451 pp.
Logique et fondements de l'informatiqueRichard Lassaigne
⏱ 4h 8m

Logique et fondements de l'informatique

Richard Lassaigne

1993248 pp.
Logic and computationWorkshop on Logic and Computation (1987 Carnegie Mellon University)
⏱ 4h 57m

Logic and computation

Workshop on Logic and Computation (1987 Carnegie Mellon University)

1990297 pp.
Programmer avec SchemeJacques Chazarain
⏱ 12h 33m

Programmer avec Scheme

Jacques Chazarain

1998753 pp.
Logics of programsRohit Parikh
⏱ 7h 4m

Logics of programs

Rohit Parikh

1985424 pp.
Processes, terms and cyclesAart Middeldorp
⏱ 10h 39m

Processes, terms and cycles

Aart Middeldorp

2006639 pp.