![](/img/cover-not-exists.png)
Intrinsic reasoning about functional programs I: first order theories
Daniel LeivantVolume:
114
Year:
2002
Language:
english
Pages:
37
DOI:
10.1016/s0168-0072(01)00078-1
File:
PDF, 259 KB
english, 2002