Research Output per year
Research Output 2008 2019
2016
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