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	MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Medium
Tom	18
Zeszyt	6
Rok wydania	2008
Od strony	1169
Do strony	1217
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2008