雑誌情報処理学会論文誌 SIG
Volume number43(1)-43(5) 20020100-20020600
Article名前呼び環境PCFの...

名前呼び環境PCFの意味論

Icons representing 記事

名前呼び環境PCFの意味論

Call No. (NDL)
Z74-C192
Bibliographic ID of National Diet Library
6124111
Material type
記事
Author
須藤 正人ほか
Publisher
東京 : 情報処理学会
Publication date
2002-03
Material Format
Paper
Journal name
情報処理学会論文誌. SIG 43(3) 2002.3
Publication Page
p.52～61
View All

Detailed bibliographic record

Summary, etc.：

ファーストクラス環境とは，実行状態の1 つである環境をファーストクラスオブジェクトとしたり，それを戻したりできる機能である．環境λ 計算は，λ 計算にそのような機能を組みこんだものである．PCF は，再帰演算子を持つ単純型付きλ 計算であり，評価戦略の研究のための枠組みとして用いられる．本研究では，...

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • CiNii Research

    Search Service
    Paper
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
    Check the holdings of this book

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
記事
Title
名前呼び環境PCFの意味論
Author/Editor
須藤 正人
西崎 真也
Author Heading
須藤 正人
西崎 真也
Periodical title
情報処理学会論文誌. SIG
No. or year of volume/issue
43(3) 2002.3
Volume
43
Issue
3
Pages
52～61
Publication date of volume/issue (W3CDTF)
2002-03