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 journalSpecial issue

Monads
Container
Recursion
Containers
Proof by induction