{
  "http://dbpedia.org/resource/Curry\u2013Howard_correspondence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Normalization_property_(lambda-calculus)" } ] } ,
  "http://dbpedia.org/resource/Calculus_of_constructions" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Normalization_property_(lambda-calculus)" } ] } ,
  "http://dbpedia.org/resource/Simply_typed_lambda_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Normalization_property_(lambda-calculus)" } ] } ,
  "http://dbpedia.org/resource/F-algebra" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Normalization_property_(lambda-calculus)" } ] } ,
  "http://dbpedia.org/resource/Initial_algebra" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Normalization_property_(lambda-calculus)" } ] } ,
  "http://dbpedia.org/resource/Normalization_property_(lambda-calculus)" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Normalization_property_(lambda-calculus)" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Normal_form_(abstract_rewriting)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Normal_form_(abstract_rewriting)" } ] } ,
  "http://dbpedia.org/resource/System_F" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Normalization_property_(lambda-calculus)" } ] }
}