Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005

Dane publikacji
Typ publikacji	Książka
Rodzaj publikacji	Książka
Tytuł publikacji	Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005
Adres internetowy
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania	Berlin
Nazwa wydawcy	Springer Verlag
Rok wydania	2005
Tytuł serii	Lecture Notes in Computer Science
Numer w serii	3461
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2005