Hans-Jörg Tiede. Basic Simple Type Theory, J. Roger Hindley. Journal of Logic, Language and Information, 8(4):473-476, 1999.
@article{Tiede99,
title = {Basic Simple Type Theory, J. Roger Hindley},
author = {Hans-Jörg Tiede},
year = {1999},
tags = {type theory},
researchr = {https://researchr.org/publication/Tiede99},
cites = {0},
citedby = {0},
journal = {Journal of Logic, Language and Information},
volume = {8},
number = {4},
pages = {473-476},
}