This HTML5 document contains 65 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n11http://en.wikipedia.org/wiki/Category:
skoshttp://www.w3.org/2004/02/skos/core#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-commonshttp://commons.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbc:Programming_language_researchers
skos:broader
dbc:Programming_language_theory
Subject Item
dbr:Programming_Computable_Functions
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbc:Lambda_calculus
skos:broader
dbc:Programming_language_theory
Subject Item
dbr:Function-level_programming
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbr:Programming_language_theory
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbr:Proof-carrying_code
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbr:Typed_assembly_language
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbc:Programming_language_semantics
skos:broader
dbc:Programming_language_theory
Subject Item
dbr:Logic_error
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbr:Logic_of_Computable_Functions
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbc:Dependently_typed_programming
skos:broader
dbc:Programming_language_theory
Subject Item
dbr:POPLmark_challenge
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbc:Substitution_(logic)
skos:broader
dbc:Programming_language_theory
Subject Item
dbr:Qualification_principle
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbc:Academic_programming_languages
skos:broader
dbc:Programming_language_theory
Subject Item
dbc:Programming_languages
skos:broader
dbc:Programming_language_theory
Subject Item
dbr:Abstract_syntax
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbc:Compiler_construction
skos:broader
dbc:Programming_language_theory
Subject Item
dbc:Program_analysis
skos:broader
dbc:Programming_language_theory
Subject Item
dbc:Programming_language_theory
rdf:type
skos:Concept
rdfs:label
Programming language theory
skos:broader
dbc:Programming_language_topics dbc:Subfields_of_computer_science
skos:prefLabel
Programming language theory
dbo:wikiPageID
24085628
dbo:wikiPageRevisionID
938046863
owl:sameAs
dbpedia-commons:Programming_language_theory
dbp:wikiPageUsesTemplate
dbt:Commons dbt:Cat_main
prov:wasDerivedFrom
n11:Programming_language_theory?oldid=938046863&ns=14
Subject Item
dbc:Rewriting_systems
skos:broader
dbc:Programming_language_theory
Subject Item
dbc:Type_theory
skos:broader
dbc:Programming_language_theory
Subject Item
dbr:Higher-order_abstract_syntax
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbr:Referential_transparency
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbr:Divergence_(computer_science)
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbc:Program_transformation
skos:broader
dbc:Programming_language_theory
Subject Item
dbr:Side_effect_(computer_science)
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbr:Variadic
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbr:First-class_function
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbr:Structured_program_theorem
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbr:Semantic_error
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbr:Non-local_variable
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbr:Syntax_error
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory
Subject Item
dbr:Turing_completeness
dct:subject
dbc:Programming_language_theory
dbo:wikiPageWikiLink
dbc:Programming_language_theory