Logic

Research Frontiers in Lambda Calculus and Functional Computation

Studies formal system of function abstraction and application as basis for functional programming and proof assistants.

All Logic PhD categories