Σモノイド―メタ変数と明示的環境を持つ高階構文

DOI Web Site

書誌事項

タイトル別名
  • Σ-Monoids: A Higher-Order Syntax with Metavariables and Environments
  • Sモノイド : メタ ヘンスウ ト メイジテキ カンキョウ オ モツ コウカイ コウブン

この論文をさがす

説明

The notion of Σ-monoids is proposed by Fiore, Plotkin and Turi, to give abstract algebraic model of languages with variable binding and substitutions. In this paper, we give a free construction of Σ-monoids. The free Σ-monoid over a given presheaf serves a well-structured term language involving binding and substitutions. Moreover, the free Σ-monoid naturally contains interesting syntactic objects which can be viewed as "metavariables" and "environments". We analyse the term language of the free Σ-monoid by relating it with several concrete systems, especially the λ-calculus extended with contexts.

収録刊行物

関連プロジェクト

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ