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 these lecture notes we describe an algebraic approach to programming, suitable both for
the derivation of individual programs and for the study of programming techniques in …

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

This is an introduction to the philosophy and use of OBJ, emphasizing its oper-ational
semantics, with aspects of its history and its logical semantics. Release 2 of OBJ3 is …

Categories, Types and Structures. Page 1 HAL Id: hal-03316030 https://ens.hal.science/hal-03316030
Submitted on 10 Aug 2021 HAL is a multi-disciplinary open access archive for the deposit and …

As its title promises, this book provides foundations for software specification and formal
software development from the perspective of work on algebraic specification. It …

A model theory that is independent of any concrete logical system allows a general handling
of a large variety of logics. This generality can be achieved by applying the theory of …

Mobius transformations are defined and studied in the framework of general binary relations.
From the application point of view fast Mobius transformation algorithms are presented for …

An algorithm is the input-output effect of a computer program; mathematically, the notion of
algorithm comes close to the notion of function. Just as arithmetic is the theory and practice …

View merging, also called view integration, is a key problem in conceptual modeling. Large
models are often constructed and accessed by manipulating individual views, but it is …