@InProceedings{alti:flops04,
  author = 	 {Thorsten Altenkirch and Tarmo Uustalu},
  title = 	 {Normalization by evaluation for $\lambda^{\to 2}$},
  booktitle = 	 {Functional and Logic Programming},
  isbn = {3-540-21402-X},
  year =	 {2004},
  number =	 {2998},
  series =	 {LNCS},
  pages =	 {260 - 275},
}