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.
Abstract is missing.