1993年 Lambda-calculi with conditional rules Lecture Notes in Computer Science 巻 644 号 開始ページ 406 終了ページ 417 エクスポート BibTeX RIS