Search Results
Showing 71 - 78 of 78 results
Search Results
Functional programming, concurrency, simulation and automated reasoning
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.61 .F858 1993 | ✔ Available |
Adapting proofs-as-programs
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.54 .P64 2005 | ✔ Available |
Purely functional data structures
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.D35 O35 1998 | ✔ Available |