Number of the records: 1
Lambda-calculus and combinators, an introduction
Title statement Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin Personal name Hindley, J. Roger, 1939- (author) Edition statement First published Publication Cambridge : Cambridge University Press, 2008 Phys.des. xi, 345 stran : ilustrace ISBN 978-0-521-89885-0 (dotisk ; vázáno) Note 3134051750 - dotisk 2010 Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Another responsib. Seldin, J. P. (author) Subj. Headings funkcionální programování functional programming * kombinatorika combinatorics Keywords Lambda calculus Form, Genre monografie monographs Conspect 004.4/.6 - Programování. Software UDC 004.42.046 , 519.1 , (048.8) Country Velká Británie Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M2/1767 (PřF) 3134051750 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1