Duane Bibby
Identifiers
- Open LibraryOL8245641A
Top Subjects
- Programming languages (electronic computers) (2)
- Automatic theorem proving (1)
- Lisp (computer program language) (1)
- Logic programming (1)
- Functional programming (computer science) (1)
- Apocalyptic art (1)
- Bible, inspiration (1)
Books by Duane Bibby
Total count: 7
-
Seasoned SchemerMIT Press1995-01-01
-
Little Java, a Few PatternsMIT Press1997-01-01
-
Little ProverMIT Press2015-01-01
-
Reasoned Schemer, Second EditionMIT Press2018-01-01
-
Little TyperMIT Press2018-01-01
-
Reasoned SchemerMIT Press2018-01-01
-
Fantasia Apocalyptica IllustratedCSLI Publications/Center for the Study of Language & Information2020-01-01