Constructive data refinement in typed lambda calculus

Dane publikacji
Typ publikacji	Publikacja w czasopi¶mie
Rodzaj publikacji	Artykuł
Tytuł publikacji	Constructive data refinement in typed lambda calculus
Adres internetowy
Tytuł czasopisma	LECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom	1784
Zeszyt
Rok wydania	2000
Od strony	161
Do strony	177
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2000