The Undecidability of Type Related Problems in Type-free Style System F

Dane publikacji
  
Typ publikacjiPublikacja w książce
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiThe Undecidability of Type Related Problems in Type-free Style System F
Adres internetowy
Tytuł książkiRTA
Tom
Od strony103
Do strony118
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Nazwa wydawcy
Rok wydania2010
Tytuł serii
Numer w serii
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2010

Lista autorów
  
 1. Ken-etsu Fujita, Jednostka zewnetrzna [Współautor]
 2. Aleksy Schubert, Zakład Logiki Stosowanej [Współautor]