%0
Book
%T
Basic simple type theory
%A Hindley, James Roger
%7 1. publ.
%I Cambridge University Press
%@ 0521465184
%K Programming languages (Electronic computers)
%K Type theory
%K Typentheorie
%D 1997
%X Literaturverz. S. 169 - 176
%C Cambridge University Press
%C Cambridge [u.a.]
%U http://slubdd.de/katalog?TN_libero_mab2