"P(GA201/96/0119), Z(MSM 143100009)" . "1" . . "Rosick\u00FD, Ji\u0159\u00ED" . "55" . "Algebras over variable theories" . "14310" . . "Algebras over variable theories"@cs . . "RIV/00216224:14310/02:00006136" . . . "Benson, D. B." . "[D356849DA665]" . . "0002-5240" . . "Algebras over variable theories"@en . "637776" . "47" . . "Ne\u010Desal, Martin" . . . "3"^^ . "There is shown that algebras over variable theories form a variety. This variety interprets the type Self of object oriented programming proposed by Abadi and Cardelli."@cs . . . . "There is shown that algebras over variable theories form a variety. This variety interprets the type Self of object oriented programming proposed by Abadi and Cardelli."@en . "CH - \u0160v\u00FDcarsk\u00E1 konfederace" . . "2"^^ . . "Algebras over variable theories"@cs . "10"^^ . . "RIV/00216224:14310/02:00006136!RIV08-MSM-14310___" . "Algebras over variable theories"@en . "There is shown that algebras over variable theories form a variety. This variety interprets the type Self of object oriented programming proposed by Abadi and Cardelli." . . "Algebra Universalis" . . "Algebras over variable theories" . "algebraic theory; type Self; object oriented programming"@en .