Search Results
Showing 1 - 10 of 169 results
Search Results
/LC.GIF&client=easterncarolinaedu)
Domains and lambda-calculi
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.5 .A43 1998 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Typed lambda calculi and applications
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.5 .I58 1997 | ✔ Available |
 :/LC.GIF&client=easterncarolinaedu)
Typed lambda calculi and applications
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.5 .I58 1995 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Typed lambda calculi and applications
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.5 .I58 1993 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Theory reasoning in connection calculi
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 B38 1998 | ✔ Available |