The Undecidability of Type Related Problems in Type-free Style System F
Dane publikacji
Typ publikacji
Publikacja w książce
Rodzaj publikacji
Artykuł konferencyjny
Tytuł publikacji
The Undecidability of Type Related Problems in Type-free Style System F
Adres internetowy
Tytuł książki
RTA
Tom
Od strony
103
Do strony
118
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Nazwa wydawcy
Rok wydania
2010
Tytuł serii
Numer w serii
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2010
Lista autorów
1.
Ken-etsu Fujita,
Jednostka zewnetrzna
[
Współautor
]
2.
Aleksy Schubert
,
Zakład Logiki Stosowanej
[
Współautor
]