J 2002

Algebras over variable theories

BENSON, D.B.; M. NEČESAL a J. ROSICKÝ

Základní údaje

Originální název

Algebras over variable theories

Autoři

BENSON, D.B.; M. NEČESAL a J. ROSICKÝ

Vydání

Algebra Universalis, Basel, Birkhauser Verlag, 2002, 0002-5240

Další údaje

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

Změněno: 18. 5. 2003 16:16, prof. RNDr. Jiří Rosický, DrSc.

Anotace

V originále

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 VaV
Název: Kategoriální metody teorie struktur a informatiky
Investor: Grantová agentura ČR, Kategoriální metody teorie struktur a informatiky
MSM 143100009, záměr
Název: Matematické struktury algebry a geometrie
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury algebry a geometrie