## Nominal Logic: A First Order Theory of Names and Binding (2001)

### Cached

### Download Links

- [ftp.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [ftp.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Andrew M. Pitts

Venue: | Information and Computation |

Citations: | 161 - 15 self |