Logical Relations for Monadic Types

Dane publikacji
Typ publikacji	Publikacja w czasopi¶mie
Rodzaj publikacji	Artykuł
Tytuł publikacji	Logical Relations for Monadic Types
Adres internetowy
Tytuł czasopisma	LECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom	2471
Zeszyt
Rok wydania	2002
Od strony	553
Do strony	568
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2002