Typed Lambda Calculi and Applications 2003, Selected Papers

Dane publikacji
  
Typ publikacjiKsiążka
Rodzaj publikacjiKsiążka
Tytuł publikacjiTyped Lambda Calculi and Applications 2003, Selected Papers
Adres internetowy
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydaniaAmsterdam
Nazwa wydawcyIOS Press
Rok wydania2005
Tytuł seriiFundamenta Informaticae
Numer w serii65
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2005

Lista autorów
  
 1. Martin Hofmann, Jednostka zewnetrzna [Redaktor]
 2. Paweł Urzyczyn, Zakład Logiki Stosowanej [Redaktor]