Abstract Alexander Kurz

Title: Order enriched categories in theoretical computer science
Abstract:
While order enriched categories have been playing an important role in areas such as domain theory, denotational semantics, and logical methods in computer science for maybe 40 years, there is still work to do on clarifying some of their basic structural properties. In this talk I will present some of the results that I have been working on over the last years with Octavian Babus, Adriana Balan, Marta Bilkova, Fredrik Dahlqvist, Achim Jung, Drew Moshier, Daniela Petrisan, Jiri Velebil.

Share this page:

Contact details

Department of Mathematics
University of Leicester
University Road
Leicester LE1 7RH
United Kingdom

Tel.: +44 (0)116 229 7407

Campus Based Courses

Undergraduate: mathsug@le.ac.uk
Postgraduate Taught: mathspg@le.ac.uk

Postgraduate Research: pgrmaths@le.ac.uk

Distance Learning Course  

Actuarial Science:

DL Study

Student complaints procedure

AccessAble logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has detailed accessibility guides for College House and the Michael Atiyah Building.