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