## The HOL Logic Extended with Quantification over Type Variables (1992)

### Cached

### Download Links

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

### Other Repositories/Bibliography

by
Thomas Melham

Venue: | Formal Methods in System Design, 3(1--2):7--24 |

Citations: | 19 - 0 self |