A self-dependency constraint in the simply typed lambda calculus

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiA self-dependency constraint in the simply typed lambda calculus
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom3623
Zeszyt
Rok wydania2005
Od strony352
Do strony364
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2005

Lista autorów
  
 1. Aleksy Schubert, Zakład Logiki Stosowanej [Współautor]