Peter Thiemann. Interpreting Specialization in Type Theory. In PEPM. pages 30-43, 1999.
@inproceedings{Thiemann99:1,
title = {Interpreting Specialization in Type Theory},
author = {Peter Thiemann},
year = {1999},
tags = {type theory},
researchr = {https://researchr.org/publication/Thiemann99%3A1},
cites = {0},
citedby = {0},
pages = {30-43},
booktitle = {PEPM},
}