A computer-verified monadic functional implementation of the integral
Russell O’Connor, Bas SpittersVolume:
411
Année:
2010
Langue:
english
Pages:
17
DOI:
10.1016/j.tcs.2010.05.031
Fichier:
PDF, 503 KB
english, 2010