Logic

Research Frontiers in Girard''s Light Linear Logic

Investigation of restricted linear logics capturing polynomial-time computation through controlled inference rules.

All Logic PhD categories