@TechReport{      Scott:1970,
  Author        = "Scott, Dana",
  date-added    = "2014-01-28 19:24:41 +0000",
  date-modified = "2014-02-26 15:45:06 +0000",
  Institution   = "OUCL",
  Keywords      = "denotational semantics",
  Month         = "November",
  Number        = "PRG02",
  Pages         = "30",
  Title         = "Outline of a mathematical theory of computation",
  Year          = "1970",
  File          = "OUTLINE OF A MATHEMATICAL THEORY OF COMPUTATION - Scott (0) (0) - a - a - b.pdf",
  file-2        = "OUTLINE OF A MATHEMATICAL THEORY OF COMPUTATION - Scott (1) (0) - a - a - b.pdf"
}

@TechReport{ Scott:1970, Author = "Scott, Dana", date-added = "2014-01-28 19:24:41 +0000", date-modified = "2014-02-26 15:45:06 +0000", Institution = "OUCL", Keywords = "denotational semantics", Month = "November", Number = "PRG02", Pages = "30", Title = "Outline of a mathematical theory of computation", Year = "1970", File = "OUTLINE OF A MATHEMATICAL THEORY OF COMPUTATION - Scott (0) (0) - a - a - b.pdf", file-2 = "OUTLINE OF A MATHEMATICAL THEORY OF COMPUTATION - Scott (1) (0) - a - a - b.pdf" }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge