|
|||||
|
|
Algebras over variable theories |
|
| Authors: | D B Benson M Ne?esal J Rosický |
| Institution: | (1) Washington State University, PO Box 642752, Pullman, WA 99164-2752, USA, e-mail: dbenson@eecs.wsu.edu, US;(2) Masaryk University, Janáčkovo nám. 2a 662 95 Brno, Czech Republic, e-mail: mnecesal@math.muni.cz, CZ;(3) Masaryk University, Janáčkovo nám. 2a 662 95 Brno, Czech Republic, e-mail: rosicky@math.muni.cz, CZ |
| Abstract: | We will show that algebras over variable theories form a variety. This variety interprets the type Self of object oriented programming proposed by Abadi and Cardelli in 1]. Received February 14, 2000; accepted in final form April 5, 2001. |
| Keywords: | and phrases: Algebraic theory variety of S-sorted varieties type Self object oriented programming |
| 本文献已被 SpringerLink 等数据库收录！ | |