## A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations (1996)

### Cached

### Download Links

- [www.cs.uchicago.edu]
- [ftp.cs.uchicago.edu]
- DBLP

### Other Repositories/Bibliography

by
Gopalan Nadathur

Venue: | Journal of Functional and Logic Programming |

Citations: | 25 - 9 self |