No photo of Neil Ghani

View Scopus Profile

Neil Ghani

Prof

 https://orcid.org/0000-0002-3988-2560

  • United Kingdom

20082023
If you made any changes in Pure these will be visible here soon.

Research Output 2008 2019

Filter
Special issue
2016
1 Citation (Scopus)

Containers, monads and induction recursion

Ghani, N. & Hancock, P., 1 Jan 2016, In : Mathematical Structures in Computer Science. 26, Special Issue 01, p. 89-113 25 p.

Research output: Contribution to journal › Special issue

Monads
Container
Recursion
Containers
Proof by induction