Erik Barendsen, Sjaak Smetsers. Uniqueness Typing in Natural Deduction Style. In David N. Turner, editor, Functional Programming, Glasgow 1995. Workshops in Computing, pages 1, Springer, 1995.
@inproceedings{BarendsenS95,
title = {Uniqueness Typing in Natural Deduction Style},
author = {Erik Barendsen and Sjaak Smetsers},
year = {1995},
researchr = {https://researchr.org/publication/BarendsenS95},
cites = {0},
citedby = {0},
pages = {1},
booktitle = {Functional Programming, Glasgow 1995},
editor = {David N. Turner},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {3-540-14580-X},
}