@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Initial_algebra	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/Normalization_property_(lambda-calculus)> .
dbr:Calculus_of_constructions	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/Normalization_property_(lambda-calculus)> .
dbr:F-algebra	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/Normalization_property_(lambda-calculus)> .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
<http://dbpedia.org/resource/Normalization_property_(lambda-calculus)>	owl:sameAs	<http://dbpedia.org/resource/Normalization_property_(lambda-calculus)> ;
	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/Normal_form_(abstract_rewriting)> ;
	dbo:wikiPageRedirects	<http://dbpedia.org/resource/Normal_form_(abstract_rewriting)> .
<http://dbpedia.org/resource/Curry\u2013Howard_correspondence>	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/Normalization_property_(lambda-calculus)> .
dbr:Simply_typed_lambda_calculus	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/Normalization_property_(lambda-calculus)> .
dbr:System_F	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/Normalization_property_(lambda-calculus)> .