## Proof Normalization for a First-Order Formulation of Higher-Order Logic (1998)

### Cached

### Download Links

- [pauillac.inria.fr]
- [www.lix.polytechnique.fr]
- DBLP

### Other Repositories/Bibliography

by
Gilles Dowek

Citations: | 4 - 1 self |