@InProceedings{   561337,
  Author        = "{Hillebrand}, G. and {Kanellakis}, P.",
  BookTitle     = "Proceedings 11th Annual IEEE Symposium on Logic in Computer Science",
  date-added    = "2020-07-08 16:32:29 +0200",
  date-modified = "2020-07-08 16:32:29 +0200",
  Pages         = "253-263",
  Title         = "On the expressive power of simply typed and let-polymorphic lambda calculi",
  Year          = "1996",
  File          = "On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi - on-the-expressive-power-of-simply-typed-and-letpolymorphic-lambd - a - s.pdf"
}

@InProceedings{ 561337, Author = "{Hillebrand}, G. and {Kanellakis}, P.", BookTitle = "Proceedings 11th Annual IEEE Symposium on Logic in Computer Science", date-added = "2020-07-08 16:32:29 +0200", date-modified = "2020-07-08 16:32:29 +0200", Pages = "253-263", Title = "On the expressive power of simply typed and let-polymorphic lambda calculi", Year = "1996", File = "On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi - on-the-expressive-power-of-simply-typed-and-letpolymorphic-lambd - a - s.pdf" }