Logic

Research Frontiers in Affine Logic and Weakening Restrictions

Study of logical systems where variables can be discarded but not duplicated, with applications to authentication and security.

All Logic PhD categories