{
  "http://dbpedia.org/resource/Typed_lambda_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] } ,
  "http://dbpedia.org/resource/Benjamin_C._Pierce" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] } ,
  "http://dbpedia.org/resource/List_of_programming_language_researchers" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] } ,
  "http://dbpedia.org/resource/Theoretical_computer_science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] } ,
  "http://dbpedia.org/resource/Structure_editor" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] } ,
  "http://dbpedia.org/resource/Structural_type_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] } ,
  "http://dbpedia.org/resource/Type_systems" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_system" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_system" } ] } ,
  "http://dbpedia.org/resource/Hack_(programming_language)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] } ,
  "http://dbpedia.org/resource/Curry\u2013Howard_correspondence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] } ,
  "http://dbpedia.org/resource/Abstract_semantic_graph" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] } ,
  "http://dbpedia.org/resource/Lambda_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] } ,
  "http://dbpedia.org/resource/Essentials_of_Programming_Languages" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] } ,
  "http://dbpedia.org/resource/Data_type" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] } ,
  "http://dbpedia.org/resource/Formal_methods" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] } ,
  "http://dbpedia.org/resource/Computer_science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] } ,
  "http://dbpedia.org/resource/Implicit_computational_complexity" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] } ,
  "http://dbpedia.org/resource/Tobias_Nipkow" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_systems" } ] }
}