@InProceedings{   Moschovakisa,
  Author        = "Moschovakis, Yiannis N.",
  Editor        = {Oikkonen, J. and V{\"a}{\"a}n{\"a}nen, J.},
  BookTitle     = "Logic Colloquium '90: ASL Summer Meeting in Helsinki",
  date-added    = "2013-07-15 10:13:17 +0000",
  date-modified = "2013-12-10 16:03:10 +0000",
  Keywords      = "readme",
  Pages         = "210--249",
  Title         = "Sense and denotation as algorithm and value",
  Year          = "1993",
  File          = "Sense and denotation as algorithm and value - Moschovakis (0) (0) - a - a - i.pdf",
  file-2        = "Sense and denotation as algorithm and value - Moschovakis (1) (0) - a - a - i.pdf"
}

@InProceedings{ Moschovakisa, Author = "Moschovakis, Yiannis N.", Editor = {Oikkonen, J. and V{\"a}{\"a}n{\"a}nen, J.}, BookTitle = "Logic Colloquium '90: ASL Summer Meeting in Helsinki", date-added = "2013-07-15 10:13:17 +0000", date-modified = "2013-12-10 16:03:10 +0000", Keywords = "readme", Pages = "210--249", Title = "Sense and denotation as algorithm and value", Year = "1993", File = "Sense and denotation as algorithm and value - Moschovakis (0) (0) - a - a - i.pdf", file-2 = "Sense and denotation as algorithm and value - Moschovakis (1) (0) - a - a - i.pdf" }