Philip Mulry

Research Interests: Programming Language Semantics, Category Theory, Theory of Computation, Domain Theory, Logic