Containers, monads and induction recursion

Neil Ghani, Peter Hancock

Research output: Contribution to journal › Special issue › peer-review

2 Citations (Scopus)

1 results

Finished
Theory and Applications of Induction Recursion
Ghani, N.
EPSRC (Engineering and Physical Sciences Research Council)
1/03/09 → 31/08/12
Project: Research