Mathematical Logic Foundations

Research Frontiers in Girard''s Light Linear Logic and Complexity

Investigates light linear logic and related resource-conscious systems designed to characterize polynomial-time computable functions logically.

All Mathematical Logic & Foundations PhD categories