Entry requirements

At least 60 credit points in Mathematics and/or Computer Science. Algebra DV2, Algebra MN3 or Logic MN2 helps the understanding of some parts of the course.

Aims

Domain theory is a fundamental mathematical theory for denotational

semantics of computer programming languages. It may also be seen as a

theory of computations. The course provides knowledge of the mathematical

theory of domains and thereby the basis for denotational semantics.

Content

Content: Fixed points. Various concepts of

domains: cpo, algebraic cpo, Scott-Ershov

domains. Domain constructions and domain

equations. Concepts from topology and category

theory related to the domain theory.

Representations of domains: neighbourhood

systems, information systems. Introduction to

effective domains, power domains, universal

domains or formal spaces.

Instruction

Lectures and problem solving sessions.

Assessment

Written and, possibly, supplementary oral

examination at the end of the course. Moreover,

compulsory assignments may be given during the

course.