Skip to main content

Game Semantics and Linear Logic

Supervisor

Suitable for

MSc in Computer Science

Abstract

Dr Ong is willing to supervise projects in this area.