Thorsten Altenkirch, Martin Hofmann, Thomas Streicher. Reduction-Free Normalisation for a Polymorphic System. In LICS. pages 98-106, 1996.
@inproceedings{AltenkirchHS96:0,
title = {Reduction-Free Normalisation for a Polymorphic System},
author = {Thorsten Altenkirch and Martin Hofmann and Thomas Streicher},
year = {1996},
researchr = {https://researchr.org/publication/AltenkirchHS96%3A0},
cites = {0},
citedby = {0},
pages = {98-106},
booktitle = {LICS},
}