BENSON, D.B., M. NEČESAL a J. ROSICKÝ. Algebras over variable theories. Algebra Universalis. Basel: Birkhauser Verlag, roč. 47, č. 1, s. 55-64. ISSN 0002-5240. 2002.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Algebras over variable theories
Autoři BENSON, D.B. (840 Spojené státy), M. NEČESAL (203 Česká republika) a J. ROSICKÝ (203 Česká republika, garant).
Vydání Algebra Universalis, Basel, Birkhauser Verlag, 2002, 0002-5240.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10101 Pure mathematics
Stát vydavatele Švýcarsko
Utajení není předmětem státního či obchodního tajemství
Impakt faktor Impact factor: 0.324
Kód RIV RIV/00216224:14310/02:00006136
Organizační jednotka Přírodovědecká fakulta
UT WoS 000175946700006
Klíčová slova anglicky algebraic theory; type Self; object oriented programming
Štítky algebraic theory, object oriented programming, type Self
Změnil Změnil: prof. RNDr. Jiří Rosický, DrSc., učo 2634. Změněno: 18. 5. 2003 16:16.
Anotace
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.
Návaznosti
GA201/96/0119, projekt VaVNázev: Kategoriální metody teorie struktur a informatiky
Investor: Grantová agentura ČR, Kategoriální metody teorie struktur a informatiky
MSM 143100009, záměrNázev: Matematické struktury algebry a geometrie
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury algebry a geometrie
VytisknoutZobrazeno: 28. 3. 2024 12:37