NTHRYS › PhD Assistance › Theoretical Computer Science

Theoretical Computer Science

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Lambda Calculus and Functional Programming Semantics

Studies denotational and operational semantics of typed and untyped lambda calculus with applications to program equivalence and optimization.