Special Issue on the 7th International Conference on Typed Lambda Calculi and Applications, TLCA '05
Dane publikacji
Typ publikacji
Książka
Rodzaj publikacji
Książka
Tytuł publikacji
Special Issue on the 7th International Conference on Typed Lambda Calculi and Applications, TLCA '05
Adres internetowy
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Amsterdam
Nazwa wydawcy
IOS Press
Rok wydania
2007
Tytuł serii
Fundamenta Informaticae
Numer w serii
77
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2007
Lista autorów
1.
Thorsten Altenkirch,
Jednostka zewnetrzna
[
Redaktor
]
2.
Paweł Urzyczyn
,
Zakład Logiki Stosowanej
[
Redaktor
]