Mathematical Logic Foundations

Research Frontiers in Ordered Linear Logic and Non-commutativity

Investigation of non-commutative variants of linear logic with applications to reasoning about ordered resources and process calculi.

All Mathematical Logic & Foundations PhD categories