## The Impact of the Lambda Calculus in Logic and Computer Science (1997)

### Cached

### Download Links

- [www.cse.iitb.ernet.in:8000]
- [www.math.ucla.edu]
- DBLP

### Other Repositories/Bibliography

by
Henk Barendregt

Venue: | BULLETIN OF SYMBOLIC LOGIC |

Citations: | 28 - 1 self |