@InProceedings{   10.5555/648334.755596,
  Author        = "Altenkirch, Thorsten and Hofmann, Martin and Streicher, Thomas",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Proceedings of the 6th International Conference on Category Theory and Computer Science",
  date-added    = "2020-09-11 22:59:00 +0200",
  date-modified = "2020-09-11 22:59:00 +0200",
  ISBN          = "3540601643",
  numpages      = "18",
  Pages         = "182--199",
  Publisher     = "Springer-Verlag",
  Series        = "CTCS '95",
  Title         = "Categorical Reconstruction of a Reduction Free Normalization Proof",
  Year          = "1995",
  File          = "Categorical reconstruction of a reduction-free normalisation proof - Altenkirch1995\_Chapter\_CategoricalReconstructionOfARe - a - i.pdf",
  file-2        = "Categorical reconstruction of a reduction-free normalisation proof - ctcs95 - a - i.pdf"
}

@InProceedings{ 10.5555/648334.755596, Author = "Altenkirch, Thorsten and Hofmann, Martin and Streicher, Thomas", Address = "Berlin, Heidelberg", BookTitle = "Proceedings of the 6th International Conference on Category Theory and Computer Science", date-added = "2020-09-11 22:59:00 +0200", date-modified = "2020-09-11 22:59:00 +0200", ISBN = "3540601643", numpages = "18", Pages = "182--199", Publisher = "Springer-Verlag", Series = "CTCS '95", Title = "Categorical Reconstruction of a Reduction Free Normalization Proof", Year = "1995", File = "Categorical reconstruction of a reduction-free normalisation proof - Altenkirch1995_Chapter_CategoricalReconstructionOfARe - a - i.pdf", file-2 = "Categorical reconstruction of a reduction-free normalisation proof - ctcs95 - a - i.pdf" }