@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Linear_logic	dbo:wikiPageWikiLink	dbr:Linear_type_system .
dbr:Typestate_analysis	dbo:wikiPageWikiLink	dbr:Linear_type_system .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Linear_type_system	owl:sameAs	dbr:Linear_type_system ;
	dbo:wikiPageWikiLink	dbr:Substructural_type_system ;
	dbo:wikiPageRedirects	dbr:Substructural_type_system .
dbr:Currying	dbo:wikiPageWikiLink	dbr:Linear_type_system .
<http://dbpedia.org/resource/Idris_(programming_language)>	dbo:wikiPageWikiLink	dbr:Linear_type_system .
<http://dbpedia.org/resource/Mercury_(programming_language)>	dbo:wikiPageWikiLink	dbr:Linear_type_system .
dbr:Closed_monoidal_category	dbo:wikiPageWikiLink	dbr:Linear_type_system .
dbr:Hom_functor	dbo:wikiPageWikiLink	dbr:Linear_type_system .
dbr:Kappa_calculus	dbo:wikiPageWikiLink	dbr:Linear_type_system .
<http://dbpedia.org/resource/Curry\u2013Howard_correspondence>	dbo:wikiPageWikiLink	dbr:Linear_type_system .
dbr:Cartesian_closed_category	dbo:wikiPageWikiLink	dbr:Linear_type_system .
dbr:Simply_typed_lambda_calculus	dbo:wikiPageWikiLink	dbr:Linear_type_system .