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.
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)
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)