|
510.6(063)/T99-338528
Typed lambda calculi and applications [Electronic resource] : 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings / ed. P. Curien. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5608). - ISBN 978-3-642-02273-9 : Б. ц.
Кл.слова (ненормированные): математическая логика -- вычислительная техника -- конференции
См. : Текст издания Доп.точки доступа: Curien, P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
|
|