Complete lax logical relations for cryptographic lambda-calculi

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiComplete lax logical relations for cryptographic lambda-calculi
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom3210
Zeszyt
Rok wydania2004
Od strony400
Do strony414
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2004

Lista autorów
  
 1. Jean Goubault-Larrecq, Jednostka zewnetrzna [Współautor]
 2. Sławomir Lasota, Zakład Logiki Stosowanej [Współautor]
 3. David Nowak, Jednostka zewnetrzna [Współautor]
 4. Yu Zhang, Jednostka zewnetrzna [Współautor]