![](/img/cover-not-exists.png)
A computer-verified monadic functional implementation of the integral
Russell O’Connor, Bas SpittersVolume:
411
Year:
2010
Language:
english
Pages:
17
DOI:
10.1016/j.tcs.2010.05.031
File:
PDF, 503 KB
english, 2010