Faculty

• Norihiro Yamada

  norihiro@mat.uc.pt

• Research Area

  Games and geometry in logic and algebra; category theory; higher-order computability and complexity

• Institution

  University of Coimbra

• PhD

  Institution: University of Oxford
  Year: 2018

• Main research publications

  • Categorical logic and topos theory , Suuri-Kagaku (Mathematical Sciences) 737 (2024)
  • Game semantics of Martin-Löf type theory , Mathematical Structures in Computer Science 33 (2023)
  • Dynamic game semantics (with Samson Abramsky) , Mathematical Structures in Computer Science 30 (2020)
  • A game-semantic model of computation , Research in the Mathematical Sciences 6 (2019)

Research and Events