Joseph E. Stoy

#27 (1) @bsmtit (1) Box 2 (1) computer (1) computer science (6) computer theory (1) computers (2) computing (2) Computing Science (1) cs (1) denotational (1) denotational semantics (3) domains (1) first class functions (1) formal semantics (1) from goodreads (1) hardcover (1) lambda calculus (1) lattices (1) logic (1) MIT Press (1) non-fiction (1) programming (3) programming language theory (1) programming languages (2) semantics (2) sperry library discard (1) wishlist (1)