Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the design of programmes using abstract data types, is widely acknowledged.Expand

An Extended Abstract Type Structure is a pre-ordered set X which includes a largestelement and a b, a b, whenever a, b are in X. Extended Type Structures (ETS may be given over applicative… Expand

A new approach to the classical fixed-length noiseless source coding problem is proposed for the case of finite ergodic Markov sources, based on simple counting arguments.Expand

Various Theories of Types are introduced, by stressing the analogy "propositions- as-types" : from propositional to higher order types (and Logic).Expand

An investigation is carried out concerning discrete memoryless sources possessing an additional parameter (utility) which seems to be significant in problems of storage and transmission. A cost… Expand