## Extracting a normalization algorithm in Isabelle/HOL (2004)

### Cached

### Download Links

- [www4.in.tum.de]
- [www4.informatik.tu-muenchen.de]
- [wwwbroy.informatik.tu-muenchen.de]
- DBLP

### Other Repositories/Bibliography

by
Stefan Berghofer

Venue: | TYPES FOR PROOFS AND PROGRAMS, INTERNATIONAL WORKSHOP, TYPES 2004, JOUY-EN-JOSAS |

Citations: | 2 - 1 self |