A Core Calculus of Classes and Objects

Author： Bono V. Patel A. Shmatikov V. Mitchell J.

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.20, Iss.1, 2004-01, pp. : 1-22

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Matching for the lambda calculus of objects

By Bono V. Bugliesi M.

Theoretical Computer Science, Vol. 212, Iss. 1, 1999-02 ,pp. : 101-140

Elsevier

Access to resources Recommend Favorite

Objects and their lambda calculus

By Tzouvaras A.

Theoretical Computer Science, Vol. 258, Iss. 1, 2001-05 ,pp. : 209-232

Elsevier

Access to resources Recommend Favorite

CHARACTERIZING CLASSES OF STRUCTURED OBJECTS BY MEANS OF INFORMATION INEQUALITIES

By Dehmer Matthias Borgert Stephan

Cybernetics and Systems, Vol. 40, Iss. 3, 2009-04 ,pp. : 249-258

Taylor & Francis Ltd

Access to resources Recommend Favorite

Automated Construction of Identification Procedures for Objects Belonging to Several Classes

By Buryak D. Yu. Vizil'ter Yu. V.

Programming and Computer Software, Vol. 29, Iss. 5, 2003-09 ,pp. : 239-244

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Games for the -calculus

By Niwinski D. Walukiewicz I.

Theoretical Computer Science, Vol. 163, Iss. 1, 1996-08 ,pp. : 99-116

Elsevier

Access to resources Recommend Favorite