2 search results - page 1 / 1 » ctcs 1987 |
101
Voted
CTCS
1987
Springer
15 years 27 days ago
1987
Springer
A typed lambda calculus with categorical type constructors is introduced. It has a uniform category theoretic mechanism to declare new types. Its type structure includes categoric...
CTCS
1987
Springer
15 years 27 days ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...