nLab Neil Ghani

Neil Ghani is professor for computer science at University of Strathclyde in Glasgow.

Selected writings

On inductive types and W-types:

category: people

Last revised on January 2, 2023 at 20:43:44. See the history of this page for a list of all contributions to it.