プログラム理論と不動点--表示的意味論における不動点の役割

Bibliographic Information

Other Title
  • 不動点をめぐって:3. 情報工学に見られる不動点論の散策 3.3 プログラム理論と不動点 -表示的意味論における不動点の役割-
  • プログラム リロン ト フドウテン ヒョウジテキ イミロン ニ オケル フドウ
  • Fixed Points and the Theory of Programming Languages

Search this article

Journal

  • 情報処理

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

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

Citations (1)*help

See more

References(13)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top