Typed lambda calculi and applications [Electronic resource] : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / ed. L. Ong. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6690). - ISBN 978-3-642-21691-6 : Б. ц. Рубрики: Computer science    Logic design    Algebra--Data processing    Electronic data processing    Logic, symbolic and mathematical    Computer science    Mathematical logic and formal languages    Mathematics of computing    Logics and meanings of programs    Symbolic and algebraic manipulation    Computing methodologies    Mathematical logic and foundations См. : Текст издания Доп.точки доступа: Ong, L. \ed.\; SpringerLink (Online service) Свободных экз. нет