Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Mitchell Wand | lit.salon

Author

Mitchell Wand

3 works

1973–1995 across 3 dated works

No biography is available yet.

Start with

Mathematical foundations of formal language theory1973
Induction, recursion, and programming1980
VLISP A Verfied Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 19951995
With Joshua Guttman

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

VLISP A Verfied Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 19951995
With Joshua Guttman
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Induction, recursion, and programming1980
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Mathematical foundations of formal language theory1973
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Mitchell Wand.

The conversation is still open.

There is no public salon activity to show for Mitchell Wand yet.