𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Scheme: A Interpreter for Extended Lambda Calculus

✍ Scribed by Gerald Jay Sussman; Guy L. Steele

Book ID
110285225
Publisher
Springer
Year
1998
Tongue
English
Weight
114 KB
Volume
11
Category
Article
ISSN
1388-3690

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Lambda Calculus for Quantum Computatio
A Lambda Calculus for Quantum Computation
✍ van Tonder, AndrΓ© πŸ“‚ Article πŸ“… 2004 πŸ› Society for Industrial and Applied Mathematics 🌐 English βš– 228 KB
A Filter Model for Concurrent $\lambda$-
A Filter Model for Concurrent $\lambda$-Calculus
✍ Dezani-Ciancaglini, Mariangiola; de'Liguoro, Ugo; Piperno, Adolfo πŸ“‚ Article πŸ“… 1998 πŸ› Society for Industrial and Applied Mathematics 🌐 English βš– 578 KB