Towards nominal computation
Dane publikacji
Typ publikacji
Publikacja w książce
Rodzaj publikacji
Artykuł konferencyjny
Tytuł publikacji
Towards nominal computation
Adres internetowy
Tytuł książki
POPL
Tom
Od strony
401
Do strony
412
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Nazwa wydawcy
Rok wydania
2012
Tytuł serii
Numer w serii
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2012
Lista autorów
1.
Mikołaj Bojańczyk
,
Studia dzienne - doktoranckie Inst. Informatyki
[
Współautor
]
2.
Laurent Braud,
Jednostka zewnetrzna
[
Współautor
]
3.
Bartosz Klin
,
Zakład Logiki Stosowanej
[
Współautor
]
4.
Sławomir Lasota
,
Zakład Logiki Stosowanej
[
Współautor
]