![](https://www.pdfsearch.io/img/342141b99bc62054e12ee07946c9d706.jpg) Date: 2013-12-18 10:49:49
| | Towards Normalization by Evaluation for the βη-Calculus of Constructions (Extended Version) Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading ListSource URL: www.cse.chalmers.seDownload Document from Source Website File Size: 250,89 KBShare Document on Facebook
|