Mathematical Logic Foundations

Research Frontiers in Lambda Calculus Variants and Extensions

Study of typed and untyped lambda calculus variants including intersection types, union types, and dependent function spaces.

All Mathematical Logic & Foundations PhD categories