Search Results
Showing 1 - 5 of 5 results
Search Results
/LC.GIF&client=easterncarolinaedu)
Typed lambda calculi and applications
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.5 .I58 1997 | ✔ Available |
Basic simple type theory
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.7 .H55 1997 | ✔ 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 |
Introduction to combinatory logic
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.H525 | ✔ Available |