Electronic Resource
Springer
International journal of parallel programming
13 (1984), S. 219-236
ISSN:
1573-7640
Keywords:
Algebra
;
terms
;
syntax
;
semantics
;
fixed-point
;
finite state automata
;
recursion
;
functional language
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract This expository paper examines combinatory algebra and the lambda calculus as foundations for functional languages (LISP, FP, KRC, etc.,). The basic notions are defined and numerous examples are given. Historical comments and references are provided.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00979873
Permalink
|
Location |
Call Number |
Expected |
Availability |