👤

Mitchell Wand

3 books

Books by Mitchell Wand

VLISP A Verfied Implementation of Scheme
VLISP A Verfied Implementation of Scheme
1995
Induction, recursion, and programming
Induction, recursion, and programming
1980
Mathematical foundations of fo
Mathematical foundations of formal language theory
1973