Mathematical Logic Foundations

Research Frontiers in Lambda Calculus and Functional Semantics

Investigates the lambda calculus as a foundational model of computation, studying reduction strategies and semantic interpretations.

All Mathematical Logic & Foundations PhD categories