00838nam a2200241 a 4500 vtls000075300 KUKTEM 20251125095758.0 131011t1997 nyua g bi 001 0 eng d 9780521054225 201407241003 safura 201310111131 ida UMP QA76.7 .H56 1997 Hindley, J. Roger Basic simple type theory / J. Roger Hindley New York : Cambridge University Press, 1997 xi, 186 p. : ill. ; 24 cm. Cambridge tracts in theoretical computer science Includes bibliographical references and index Programming languages (Electronic computers) Type theory 0 0 0 0 20000 20000 2019-09-04 131.00 0 QA76.7 .H56 1997 0000085005 2019-09-04 00:00:00 1 131.00 2019-09-04 OPEN VIRTUA40 74684 74690 VTLSSORT0080*0200*0400*0900*1000*2450*2600*3000*4900*5040*6500*6501*9992