Paper
On Folk Theorems
David Harel
CACM
Paper
“do considered od” considered odder than “do considered ob”
Abstract
No abstract available.
Related
Assaf Marron, Lior Limonad, et al.
SEAMS 2020
David Harel, Amir Kantor, et al.
Science of Computer Programming
David Harel
Theoretical Computer Science