- Definition GeneralizedArrowInLanguage (Guest:ProgrammingLanguageSMME) (Host :ProgrammingLanguageSMME)
- := GeneralizedArrow Guest Host.
-
- Definition ArrowsAreGeneralizedArrows (Host:ProgrammingLanguageSMME)
- {mf}{mn}{cc}{kehom}{CC}
- (arrow:ArrowInProgrammingLanguage Host _ _ CC mf mn cc kehom) : GeneralizedArrowInLanguage.
-
- Definition TwoLevelLanguage := Reification Guest Host (me_i Host).