Další formáty:
BibTeX
LaTeX
RIS
@article{404138, author = {Benson, D.B. and Nečesal, M. and Rosický, J.}, article_location = {Basel}, article_number = {1}, keywords = {algebraic theory; type Self; object oriented programming}, language = {eng}, issn = {0002-5240}, journal = {Algebra Universalis}, title = {Algebras over variable theories}, volume = {47}, year = {2002} }
TY - JOUR ID - 404138 AU - Benson, D.B. - Nečesal, M. - Rosický, J. PY - 2002 TI - Algebras over variable theories JF - Algebra Universalis VL - 47 IS - 1 SP - 55 EP - 55 PB - Birkhauser Verlag SN - 00025240 KW - algebraic theory KW - type Self KW - object oriented programming N2 - 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. ER -
BENSON, D.B., M. NEČESAL a J. ROSICKÝ. Algebras over variable theories. \textit{Algebra Universalis}. Basel: Birkhauser Verlag, roč.~47, č.~1, s.~55-64. ISSN~0002-5240. 2002.
|