Special Issue on the 7th International Conference on Typed Lambda Calculi and Applications, TLCA '05

Dane publikacji
  
Typ publikacjiKsiążka
Rodzaj publikacjiKsiążka
Tytuł publikacjiSpecial Issue on the 7th International Conference on Typed Lambda Calculi and Applications, TLCA '05
Adres internetowy
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydaniaAmsterdam
Nazwa wydawcyIOS Press
Rok wydania2007
Tytuł seriiFundamenta Informaticae
Numer w serii77
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2007

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