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

Research Output

Special issue

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

1 Citation (Scopus)