ML Anthology

Pratt, Terrence W.

1 publications

IJCAI 1971 Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases Terrence W. Pratt