๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Introduction to Lambda calculus

โœ Scribed by Barendregt H., Barendsen E.

Book ID
127396798
Year
2000
Tongue
English
Weight
251 KB
Edition
free web version
Category
Library

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Introduction to Lambda Calculus
Introduction to Lambda Calculus
โœ Barendregt H., Barendsen E. ๐Ÿ“‚ Library ๐Ÿ“… 1994 ๐ŸŒ English โš– 578 KB
A Calculus of Lambda Calculus Contexts
A Calculus of Lambda Calculus Contexts
โœ Mirna Bognar; Roel de Vrijer ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 207 KB
Introduction to [lambda]-trees
Introduction to [lambda]-trees
โœ Ian Chiswell ๐Ÿ“‚ Library ๐Ÿ“… 2001 ๐Ÿ› World Scientific ๐ŸŒ English โš– 4 MB

Introductory text for mathematicians and research students in algebra and topology, introducing the fundamental concepts and theory of A-Trees, including the origins and history of the theory. Discusses connections with other theories such as model theory and R-Trees.

The differential lambda-calculus
The differential lambda-calculus
โœ Thomas Ehrhard; Laurent Regnier ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 456 KB