Back to Results
First PageMeta Content
Applied mathematics / Combinatory logic / Fixed-point combinator / Expression / Hindley–Milner / Free variables and bound variables / Lambda / Binary lambda calculus / Lambda-mu calculus / Lambda calculus / Theoretical computer science / Mathematics


The Lambda Calculus A Brief Introduction Georg P. Loczewski A
Add to Reading List

Document Date: 2004-12-20 07:35:21

Open Document

File Size: 133,13 KB

Share Result on Facebook

City

Darmstadt / /

Company

S. Toeche-Mittler Verlag S. Toeche-Mittler Versandbuchhandlung GmbH / /

/

OperatingSystem

GNU / /

Organization

Free Software Foundation / Eta / Alonzo Church / /

Person

Fey / Georg P. Loczewski / Alonzo Church / /

Position

author / programmer / /

ProgrammingLanguage

Lambda Calculus / Educational Programming Language / /

Technology

Alpha / /

URL

www.aplusplus.net / http /

SocialTag