Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Lectures on Semantics: The initial algebra and final coalgebra

Summary: Lectures on Semantics:
The initial algebra and final coalgebra
Peter Aczel
Departments of Mathematics and Computer Science
Manchester University,
Manchester, M13 9PL, UK
Abstract. These lectures give a non­standard introduction, for computer
science students, to the mathematical semantics of formal languages. We do
not attempt to give a balanced treatment, but instead focus on some key
general ideas, illustrated with simple examples. The ideas are formulated
using some elementary category theoretic notions. All the required category
theory is introduced in the lectures. In addition to the familiar initial algebra
approach to syntax and semantics we examine the less familiar final coalgebra
approach to operational semantics. Our treatment of formal semantics is
intended to complement a more standard introduction.
Keywords. semantics, formal language, category theory, category, functor,
initial algebra, final coalgebra, operational semantics, CCS
These lectures are primarily intended as an introduction, for computer science


Source: Aczel, Peter - Departments of Mathematics & Computer Science, University of Manchester


Collections: Mathematics