Existential Type Systems with No Types in Terms

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiExistential Type Systems with No Types in Terms
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom5608
Zeszyt
Rok wydania2009
Od strony112
Do strony126
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2009

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