## Towards Normalization by Evaluation for the βη-Calculus of Constructions

### Cached

### Download Links

- [www.tcs.ifi.lmu.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www.tcs.ifi.lmu.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www.tcs.ifi.lmu.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www2.tcs.ifi.lmu.de]
- [www2.tcs.ifi.lmu.de]
- [www.tcs.ifi.lmu.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www2.tcs.ifi.lmu.de]
- [www2.tcs.ifi.lmu.de]

by
Andreas Abel

Citations: | 2 - 1 self |