Twan Laan, Rob Nederpelt. A modern elaboration of the ramified theory of types. Studia Logica, 57(2/3):243-278, 1996.
@article{LaanN96,
title = {A modern elaboration of the ramified theory of types},
author = {Twan Laan and Rob Nederpelt},
year = {1996},
tags = {type theory},
researchr = {https://researchr.org/publication/LaanN96},
cites = {0},
citedby = {0},
journal = {Studia Logica},
volume = {57},
number = {2/3},
pages = {243-278},
}