Towards Normalization by Evaluation for the βη-Calculus of Constructions (Extended Version) Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris

First Page		Document Content
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 List Source URL: www.cse.chalmers.se Download Document from Source Website File Size: 250,89 KB Share Document on Facebook