@TechReport{      Clairambault,
  Author        = "Clairambault, Pierre",
  date-added    = "2013-06-05 20:11:02 +0000",
  date-modified = "2013-06-05 20:13:48 +0000",
  Keywords      = "PCF and game semantics and lambda calculus",
  Title         = "Semantique de Jeux et Decidabilite dans PCF",
  Year          = "2006",
  File          = "Semantique de Jeux et Decidabilite dans PCF - Clairambault (0) (0) - a - a - e.pdf"
}

@TechReport{ Clairambault, Author = "Clairambault, Pierre", date-added = "2013-06-05 20:11:02 +0000", date-modified = "2013-06-05 20:13:48 +0000", Keywords = "PCF and game semantics and lambda calculus", Title = "Semantique de Jeux et Decidabilite dans PCF", Year = "2006", File = "Semantique de Jeux et Decidabilite dans PCF - Clairambault (0) (0) - a - a - e.pdf" }