Complete lax logical relations for cryptographic lambda-calculi
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł konferencyjny
Tytuł publikacji
Complete lax logical relations for cryptographic lambda-calculi
Adres internetowy
Tytuł czasopisma
LECTURE NOTES IN COMPUTER SCIENCE
Medium
publikacja drukowana
Tom
3210
Zeszyt
Rok wydania
2004
Od strony
400
Do strony
414
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2004
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
]