@InProceedings{   10.5555/645893.671602,
  Author        = "Malolepszy, Jan and Moczurad, Malgorzata and Zaionc, Marek",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Proceedings of the Third International Conference on Typed Lambda Calculi and Applications",
  date-added    = "2020-07-09 07:22:43 +0200",
  date-modified = "2020-07-09 07:22:43 +0200",
  ISBN          = "3540626883",
  numpages      = "17",
  Pages         = "267--283",
  Publisher     = "Springer-Verlag",
  Series        = "TLCA '97",
  Title         = "Schwichtenberg-Style Lambda Definability Is Undecidable",
  Year          = "1997",
  File          = "Schwichtenberg-Style Lambda Definability Is Undecidable [ Małolepszy1997\_Chapter\_Schwichtenberg-styleLambdaDefi - a - q.pdf"
}

@InProceedings{ 10.5555/645893.671602, Author = "Malolepszy, Jan and Moczurad, Malgorzata and Zaionc, Marek", Address = "Berlin, Heidelberg", BookTitle = "Proceedings of the Third International Conference on Typed Lambda Calculi and Applications", date-added = "2020-07-09 07:22:43 +0200", date-modified = "2020-07-09 07:22:43 +0200", ISBN = "3540626883", numpages = "17", Pages = "267--283", Publisher = "Springer-Verlag", Series = "TLCA '97", Title = "Schwichtenberg-Style Lambda Definability Is Undecidable", Year = "1997", File = "Schwichtenberg-Style Lambda Definability Is Undecidable [ Małolepszy1997_Chapter_Schwichtenberg-styleLambdaDefi - a - q.pdf" }