Algebraic structures which are generated by a collection of constructors| like natural
numbers (generated by a zero and a successor) or nite lists and trees| are of well …

This book presents a guide to the extensive literature on the topic of semirings and includes
a complete bibliography. It serves as a complement to the existing monographs and a point …

and concrete categories | Guide books skip to main content ACM Digital Library home ACM
home Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced Search …

The Formal Semantics of Programming Languages provides the basic mathematical
techniques necessary for those who are beginning a study of the semantics and logics of …

This book is a textbook in basic category theory, written specifically to be read by
researchers and students in computing science. We expound the constructions we feel are …

In Chapter 1, we have seen how the algebra of the polynomial rings k [x1,..., xn] and the
geometry of affine algebraic varieties are linked. In this chapter, we will study the method of …

There is a population explosion among the logical systems used in computing science.
Examples include first-order logic, equational logic, Horn-clause logic, higher-order logic …

Basic Category Theory for Computer Scientists provides a straightforward presentation of
the basic constructions and terminology of category theory, including limits, functors, natural …

Semantics of Programming Languages exposes the basic motivations and philosophy
underlying the applications of semantic techniques in computer science. It introduces the …

Recursive specifications of domains plays a crucial role in denotational semantics as
developed by Scott and Strachey and their followers. The purpose of the present paper is to …