## Executing higher order logic (2002)

### Cached

### Download Links

- [www.inf.ed.ac.uk]
- [www.in.tum.de]
- [www4.in.tum.de]
- [www4.in.tum.de]
- [www4.in.tum.de]
- [www4.informatik.tu-muenchen.de]
- [www.in.tum.de]
- [wwwbroy.informatik.tu-muenchen.de]
- [wwwbroy.informatik.tu-muenchen.de]
- [www4.informatik.tu-muenchen.de]
- [wwwbroy.in.tum.de]
- [isabelle.in.tum.de]
- [wwwbroy.in.tum.de]
- [www4.cs.tum.edu]
- DBLP

### Other Repositories/Bibliography

by
Stefan Berghofer
,
Tobias Nipkow
,
Technische Universität München

Venue: | In Proc. TYPES Working Group Annual Meeting 2000, LNCS |

Citations: | 56 - 18 self |