Type Theory Forall

#20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica

Listen Later

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
  • Dan's Twitter: @danghica
  • Dan's Website
  • Job advert for Huawei positions
    • Talks and Lectures
    • Dan's talk on Syntactic Trinitarianism (terms, graphs, diagrams)
    • Dan's talk on a similar, more semantics-oriented talk at TERMGRAPH
    • Dan's OPLSS course on (denotational) game semantics
    • Game semantics lectures
      • Papers
      • Paper on string diagrams and their applications to reverse automatic differentiation (long paper, part of it to appear in FSCD 2020)
      • Paper on automatic differentiation and string diagrams
      • Paper on effect handlers
      • Paper on optimisation with constructive reals
      • Paper on digital circuits and string diagrams
      • Paper on functorial boxes for string diagrams
      • A Game semantics paper mentioned during the conversation
      • Decidability via game semantics
      • Landmark paper on undecidability of observational equivalence
        • Other Links
        • Penrose book
        • Book on type-level string diagrams
        • Proof assistant for higher categories
        • The Programming Journal
        • Midlands Graduate School
          • ...more
          View all episodesView all episodes
          Download on the App Store
          Type Theory ForallBy Pedro Abreu
          • 4.8
          • 4.8
          • 4.8
          • 4.8
          • 4.8

          4.8

          13 ratings

          More shows like Type Theory Forall

          View all
          Marketplace by Marketplace

          Marketplace

          8,794 Listeners

          The Knowledge Project by Shane Parrish

          The Knowledge Project

          2,697 Listeners

          The Changelog: Software Development, Open Source by Changelog Media

          The Changelog: Software Development, Open Source

          289 Listeners

          Conversations with Tyler by Mercatus Center at George Mason University

          Conversations with Tyler

          2,466 Listeners

          The Quanta Podcast by Quanta Magazine

          The Quanta Podcast

          544 Listeners

          CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

          CoRecursive: Coding Stories

          188 Listeners

          Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll

          Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

          4,189 Listeners

          Machine Learning Street Talk (MLST) by Machine Learning Street Talk (MLST)

          Machine Learning Street Talk (MLST)

          99 Listeners

          Dwarkesh Podcast by Dwarkesh Patel

          Dwarkesh Podcast

          530 Listeners

          The Rest Is History by Goalhanger

          The Rest Is History

          15,880 Listeners

          The Haskell Interlude by Haskell Podcast

          The Haskell Interlude

          14 Listeners

          Software Unscripted by Richard Feldman

          Software Unscripted

          29 Listeners

          Oxide and Friends by Oxide Computer Company

          Oxide and Friends

          67 Listeners

          Past Present Future by David Runciman

          Past Present Future

          351 Listeners

          Sharp Tech with Ben Thompson by Andrew Sharp and Ben Thompson

          Sharp Tech with Ben Thompson

          95 Listeners