Logic

Research Frontiers in Girard''s Linear Logic Semantics

Analysis of coherent spaces, phase spaces, and other semantic models for linear logic with focus on categorical structure.

All Logic PhD categories