Finite Combinatory Logic with Intersection Types

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiFinite Combinatory Logic with Intersection Types
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom6690
Zeszyt
Rok wydania2011
Od strony169
Do strony183
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2011

Lista autorów
  
 1. Jakob Rehof, Jednostka zewnetrzna [Współautor]
 2. Paweł Urzyczyn, Zakład Logiki Stosowanej [Współautor]