00621nam a2200193 a 4500001001400000003000700014005001700021008004100038020001800079040000800097100002200105245004900127260005000176300003300226490005300259504005000312650004900362650001600411vtls000075300KUKTEM20251125095758.0131011t1997    nyua   g bi   001 0 eng d  a9780521054225  aUMP1 aHindley, J. Roger10aBasic simple type theory /cJ. Roger Hindley  aNew York :bCambridge University Press,c1997  axi, 186 p. :bill. ;c24 cm.0 aCambridge tracts in theoretical computer science  aIncludes bibliographical references and index 0aProgramming languages (Electronic computers) 0aType theory