@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
<http://dbpedia.org/resource/Curry\u2013Howard_correspondence>	dbo:wikiPageWikiLink	dbr:Type_systems .
dbr:Structural_type_system	dbo:wikiPageWikiLink	dbr:Type_systems .
<http://dbpedia.org/resource/Benjamin_C._Pierce>	dbo:wikiPageWikiLink	dbr:Type_systems .
dbr:Tobias_Nipkow	dbo:wikiPageWikiLink	dbr:Type_systems .
dbr:Abstract_semantic_graph	dbo:wikiPageWikiLink	dbr:Type_systems .
dbr:Typed_lambda_calculus	dbo:wikiPageWikiLink	dbr:Type_systems .
dbr:Data_type	dbo:wikiPageWikiLink	dbr:Type_systems .
dbr:Lambda_calculus	dbo:wikiPageWikiLink	dbr:Type_systems .
dbr:Computer_science	dbo:wikiPageWikiLink	dbr:Type_systems .
<http://dbpedia.org/resource/Hack_(programming_language)>	dbo:wikiPageWikiLink	dbr:Type_systems .
dbr:Structure_editor	dbo:wikiPageWikiLink	dbr:Type_systems .
dbr:Formal_methods	dbo:wikiPageWikiLink	dbr:Type_systems .
dbr:Essentials_of_Programming_Languages	dbo:wikiPageWikiLink	dbr:Type_systems .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Type_systems	owl:sameAs	dbr:Type_systems ;
	dbo:wikiPageWikiLink	dbr:Type_system ;
	dbo:wikiPageRedirects	dbr:Type_system .
dbr:List_of_programming_language_researchers	dbo:wikiPageWikiLink	dbr:Type_systems .
dbr:Theoretical_computer_science	dbo:wikiPageWikiLink	dbr:Type_systems .
dbr:Implicit_computational_complexity	dbo:wikiPageWikiLink	dbr:Type_systems .