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

Lambda Calculus 001

Book ID
127400733
Tongue
English
Weight
416 KB
Category
Library

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A Calculus of Lambda Calculus Contexts
A Calculus of Lambda Calculus Contexts
โœ Mirna Bognar; Roel de Vrijer ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 207 KB
The differential lambda-calculus
The differential lambda-calculus
โœ Thomas Ehrhard; Laurent Regnier ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 456 KB
Introduction to Lambda Calculus
Introduction to Lambda Calculus
โœ Barendregt H., Barendsen E. ๐Ÿ“‚ Library ๐Ÿ“… 1994 ๐ŸŒ English โš– 578 KB
Introduction to Lambda calculus
Introduction to Lambda calculus
โœ Barendregt H., Barendsen E. ๐Ÿ“‚ Library ๐Ÿ“… 2000 ๐ŸŒ English โš– 251 KB
Lambda Calculus with Explicit Recursion
Lambda Calculus with Explicit Recursion
โœ Zena M. Ariola; Jan Willem Klop ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 955 KB