@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:CDuce	dbo:wikiPageWikiLink	dbr:Recursive_type .
dbr:Algebraic_data_type	dbo:wikiPageWikiLink	dbr:Recursive_type .
dbr:Type_system	dbo:wikiPageWikiLink	dbr:Recursive_type .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Recursive_type	owl:sameAs	dbr:Recursive_type ;
	dbo:wikiPageWikiLink	dbr:Recursive_data_type ;
	dbo:wikiPageRedirects	dbr:Recursive_data_type .
<http://dbpedia.org/resource/Dieter_R\u00F6dding>	dbo:wikiPageWikiLink	dbr:Recursive_type .
dbr:Simply_typed_lambda_calculus	dbo:wikiPageWikiLink	dbr:Recursive_type .
dbr:Object-oriented_programming	dbo:wikiPageWikiLink	dbr:Recursive_type .
dbr:Object_composition	dbo:wikiPageWikiLink	dbr:Recursive_type .