Typed Lambda Calculi and Applications 2003, Selected Papers
Dane publikacji
Typ publikacji
Książka
Rodzaj publikacji
Książka
Tytuł publikacji
Typed Lambda Calculi and Applications 2003, Selected Papers
Adres internetowy
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Amsterdam
Nazwa wydawcy
IOS Press
Rok wydania
2005
Tytuł serii
Fundamenta Informaticae
Numer w serii
65
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2005
Lista autorów
1.
Martin Hofmann,
Jednostka zewnetrzna
[
Redaktor
]
2.
Paweł Urzyczyn
,
Zakład Logiki Stosowanej
[
Redaktor
]