他のロマンス語への影響.
基層言語としてのモサラベ語はバレンシア語とバラアース方言をカタルーニャ語から、ポルトガル語をガリシア語から、エストレマドゥーラ語をアストゥリアス・レオン語から、アンダルシーア方言やムルシア方言などの南部で話されるカスティーリャ語方言をから区別される特徴を与えた。特にカスティーリャ語については、新たに人口がまばらでアラビア語の影響を強く受けた中央カスティーリャ方言をロマンス方言連続体に付け加えることとなった。そして、唯一明確な影響は語彙についてで、ポルトガル語あるいはカタルーニャ語同様にカスティーリャ語に、モサラベ語を通して多くのアラビア語語彙が持ち込まれたということである。
文字.
しかし、これらのモサラベ語テキストの解読には非常に多くの困難が伴う。まず、アラビア語において母音が書かれないのと同様にこれらのテキストのモサラベ語も母音が書かれていないからである。モサラベ語のテキストにおいて、この母音が記されないという事は、モサラベ語のもととなったロマンス語諸方言間やアラビア語諸方言間にみられる傾向や法則性などの多様性があるように、モサラベ語に存在する多様性を考えた場合、非常に困難な問題となって表れる。このような理由でハルチャの解釈・解読において研究者によってさまざまな違いが見られることになる。
大幅
中幅
小幅
並幅
二幅
ルドルフ・バウムガルトナー
経歴.
シングル幅
ダブル幅
ヤール幅
飯坂トンネル
飯坂トンネル（いいざかトンネル）は、福島県福島市にある道路トンネルである。
表示的意味論
概要.
不動点意味論.
表示的意味は、システムが行うことを表現する数学的オブジェクトを探すことに関心がある。この理論は計算の数学的領域（ドメイン）を利用する。そのような領域の例として完備半順序集合などがある。
計算領域は次のような特徴を持つ:
関数型言語の表示的意味論の実例を次節に示す。
階乗関数の例.
ここで
完全抽象化.
プログラムの表示的意味論と操作的意味論が合致するかどうかを論じる際に、完全抽象化の概念が関わってくる。完全抽象化の特徴は次の通りである。
その他に表示的意味論と操作的意味論について保持するのが望ましい特徴は以下の通りである。
合成性.
並行性の表示的意味論.