Data types as lattices

著者

• Scott, Dana S.

書誌事項

Data types as lattices

by Dana Scott

（Technical monograph, PRG-5）

Oxford University Computing Laboratory, Programming Research Group, 1976

注記

Cover title

Reprinted from the SIAM journal on computing, v. 5

Bibliography: p. 578-587

• NII書誌ID(NCID): BC18820658
• LCCN: 79314127
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Oxford
• ページ数/冊数: p. 522-587
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.7
  • DC : 001.6/424
• 件名:
  • LCSH : Programming languages (Electronic computers) -- Semantics
  • LCSH : Recursive functions
  • LCSH : Lattice theory
  • LCSH : Functions, Continuous
• 親書誌ID:
  • BA27159873