Andrew Ireland. On Exploiting the Structure of Martin-Löf s Theory of Types. In Hermann Kaindl, editor, Proc. 7th Austrian Conference on Artificial Intelligence, ÖGAI-91, Wien, 24.-27. September 1991. Volume 287 of Informatik-Fachberichte, pages 126-136, Springer, 1991.
@inproceedings{Ireland91,
title = {On Exploiting the Structure of Martin-Löf s Theory of Types},
author = {Andrew Ireland},
year = {1991},
tags = {type theory},
researchr = {https://researchr.org/publication/Ireland91},
cites = {0},
citedby = {0},
pages = {126-136},
booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, ÖGAI-91, Wien, 24.-27. September 1991},
editor = {Hermann Kaindl},
volume = {287},
series = {Informatik-Fachberichte},
publisher = {Springer},
}