Logo

Type Theory Forall

Type Theory much beyond inference rules

Episode image

#20 Huaweii, String Diagrams, Game Semantics

Dan R. Ghica

Apr 11th 2024   |  97 min
0:00
0:00

In this episode, me and Eric Bond have a great conversation with Dan R. Ghica, a professor at Birmingham University and Director of the Programming Language Research Lab of the Huaweii Research Centre Edinburgh. We talk about his work on both institutions, which includes topics such as Category Theory, String Diagrams, and Game Semantics. We also briefly discuss the current publication process of our field and entertain some thoughts on how to make it better. Finally, we touch on more personal topics such as his views about Elegance, making an insightful counterpoint to Conal’s opinions on Denotational Semantics vs. Operational Semantics.

Links

Talks and Lectures

Papers

Other Links