Categorical combinators, sequential algorithms, and functional programming. (Q5287527)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 234028
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Categorical combinators, sequential algorithms, and functional programming. |
scientific article; zbMATH DE number 234028 |
Statements
9 July 1993
0 references
\(\lambda\)-calculus
0 references
combinatory logic
0 references
categorical abstract machine
0 references
0.7746685743331909
0 references
Categorical combinators, sequential algorithms, and functional programming. (English)
0 references
This is a completely revised version of the book published by \textit{B. Pitman} Publishing Ltd. (1986; Zbl 0643.68002). The author presents an approach to the semantics of sequential programming languages based on the relationship between \(\lambda\)-calculus and category theory, with applications to the design and implementation of programming languages. In the second edition many new results due to various authors (including the author of the book) are added, mostly in the form of exercises. Many new references are included. Among other things, the following new topics are reported: the confluence properties of rewriting systems of categorical combinators, calculi of explicit substitutions, connections of sequential algorithms with linear logic and games, a theory of sequential structures. The additions make the book more comprehensive and up-to-date.
0 references
