Science Links Japan | Treatment of Types in the framework of Combinatory Logic and its calculation using Graph Transformation System.

Treatment of Types in the framework of Combinatory Logic and its calculation using Graph Transformation System.

Accession number;01A0533166

Title;Treatment of Types in the framework of Combinatory Logic and its calculation using Graph Transformation System.

Author; SUGITO YOSHIO (Electrotechnical Lab.)

Journal Title;IEIC Technical Report (Institute of Electronics, Information and Communication Engineers)

Journal Code:S0532B

ISSN:0913-5685

VOL.100;NO.678(SS2000 57-61);PAGE.1-8(2001)

Figure&Table&Reference;FIG.3, REF.7

Pub. Country;Japan

Language;Japanese

Abstract;In the framework of Lambda Calculus or Combinatory Logic, as for treatment of types there exist two models, that is, one includes types and the other has no type. In this paper, especially forcusing in case of typed Combinatory Logic, we try to execute calculation on types via our graph transformation system(GMS98) as the case study of using and estimating the system. (author abst.)

Related Articles;