不動点をめぐって：3. 情報工学に見られる不動点論の散策 3.3 プログラム理論と不動点 -表示的意味論における不動点の役割-

• 立木, 秀樹

書誌事項

タイトル別名

• プログラム理論と不動点--表示的意味論における不動点の役割
• プログラム リロン ト フドウテン ヒョウジテキ イミロン ニ オケル フドウ
• Fixed Points and the Theory of Programming Languages

収録刊行物

• 情報処理

  情報処理 33 (4), p366-374, 1992-04-15

  東京 : 情報処理学会 ; 1960-

キーワード

• 特集

詳細情報

• CRID: 1050282812853032576
• NII論文ID: 110002762687
• NII書誌ID: AN00116625
• ISSN: 04478053
• NDL書誌ID: 3765092
• Web Site: http://id.nii.ac.jp/1001/00004529/
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I3765092
• 本文言語コード: ja
• 資料種別: departmental bulletin paper
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles