Applications of Category Theory in Computational System Semantics.

Primary supervisor

Additional information

Contact admissions office

Other projects with the same supervisor

Project description

Category Theory has been developed as a general framework for algebra, topology and the semantics and structure of logics. It has been widely applied to the design and semantics of programming languages and computational systems. There is a range of projects on offer in this area to students suitably qualified - with a good mathematics background and some knowledge of programming and the design of computational systems. Please contact the author for further details.

▲ Up to the top