View of Applications of typed lambda-terms to categorical attributed graph transformations

Return to Article Details Applications of typed lambda-terms to categorical attributed graph transformations Download Download PDF