Search Results
Showing 1 - 10 of 17766 results
Search Results
Combinators, -terms and proof theory
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9 .S753 | ✔ Available |
Lambda-calculus, combinators, and functional programming
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.5.R48 1988 | ✔ Available |
![Cover image for Introduction to combinators and [lambda]-calculus](https://secure.syndetics.com/index.aspx?isbn=0521268966/LC.GIF&client=easterncarolinaedu)
Introduction to combinators and [lambda]-calculus
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.5 .H56 1986 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Combinators and functional programming languages
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.7 .L33 1985 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Categorical combinators, sequential algorithms, and functional programming
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA267.3 .C87 1993 | ✔ Available |
