Categorical combinators, sequential algorithms and functional programming / P.-L. Curien.
Saved in:
Main Author: | |
---|---|
Format: | Book |
Language: | English |
Published: |
London :
Pitman,
1986
|
Series: | Research notes in theoretical computer science
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 00846nxm-a2200205zn-4500 | ||
---|---|---|---|
001 | 000179999 | ||
005 | 20180201101808.0 | ||
008 | 940223s1986----uk------W----00-----eng-- | ||
020 | |a 0273087223 | ||
089 | |a 519.4 | ||
100 | 1 | |a Curien, P.-L. | |
245 | 1 | 0 | |a Categorical combinators, sequential algorithms and functional programming / |c P.-L. Curien. |
260 | |a London : |b Pitman, |c 1986 | ||
490 | 1 | |a Research notes in theoretical computer science | |
504 | |a Bibliography, p285-292. - Includes index | ||
650 | 0 | 0 | |a Programming languages (Electronic computers) |
650 | 0 | 0 | |a Electronic digital computers |x Programming |
830 | 0 | |a Research notes in theoretical computer science | |
952 | |0 0 |1 0 |4 0 |6 519_400000000000000_CUR |7 0 |9 235212 |a PILKINGTON |b PILKINGTON |c MAIN |d 1994-02-23 |l 0 |o 519.4/CUR |p 029425801 |r 2018-02-01 |w 2018-02-01 |y LONG | ||
999 | |c 153885 |d 153885 |