Pieter Hofstra researches both logic and category theory in an attempt to develop a categorical approach to computability theory.
Pieter Hofstra
Pieter Hofstra researches both logic and category theory in an attempt to develop a categorical approach to computability theory.
