@TechReport{      Plotkinf,
  Author        = "Plotkin, Gordon",
  date-added    = "2013-04-07 11:15:13 +0000",
  date-modified = "2013-04-07 11:20:03 +0000",
  Keywords      = "domain theory",
  Title         = "Domains",
  Year          = "1983",
  File          = "Domains - Plotkin (0) (0) - a - a - t.pdf",
  file-2        = "Domains - Plotkin (0) (0) - a - a - t.ps"
}

@TechReport{ Plotkinf, Author = "Plotkin, Gordon", date-added = "2013-04-07 11:15:13 +0000", date-modified = "2013-04-07 11:20:03 +0000", Keywords = "domain theory", Title = "Domains", Year = "1983", File = "Domains - Plotkin (0) (0) - a - a - t.pdf", file-2 = "Domains - Plotkin (0) (0) - a - a - t.ps" }

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