## Five axioms of alpha-conversion (1996)

### Cached

### Download Links

- [web.comlab.ox.ac.uk]
- [www.cs.ox.ac.uk]
- [ftp.cl.cam.ac.uk]
- [ftp.dcs.gla.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Andrew D. Gordon
,
Tom Melham

Venue: | Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL |

Citations: | 51 - 0 self |