About: Nominal terms (computer science)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	https://hal.inria.fr/hal-00926833/document https://homepages.inf.ed.ac.uk/jcheney/publications/thesis-informal.ps
dbo:wikiPageWikiLink	dbr:Nominal_techniques dbr:Logic_programming dbr:Lambda_calculus dbr:Compiler dbr:First-order_logic dbr:Prolog dbr:Unification_(computer_science) dbr:Metalanguage dbc:Theoretical_computer_science dbr:De_Bruijn_index dbr:Undecidable_problem dbr:Simply_typed_lambda_calculus dbr:Higher-order_abstract_syntax dbr:Abstract_syntax_trees dbr:Pi-calculus dbr:Logics dbr:Programming_languages dbr:Unification_(computing) dbr:Computer_scientists dbr:Lambda-calculus dbr:LambdaProlog dbr:AlphaProlog
dbp:wikiPageUsesTemplate	dbt:Cite_journal dbt:Cite_conference dbt:Empty_section dbt:Clarify dbt:Cite_thesis
dct:subject	dbc:Theoretical_computer_science
gold:hypernym	dbr:Metalanguage
rdfs:label	Nominal terms (computer science) (en)
owl:sameAs	freebase:Nominal terms (computer science) wikidata:Nominal terms (computer science) dbpedia-global:Nominal terms (computer science)
prov:wasDerivedFrom	wikipedia-en:Nominal_terms_(computer_science)?oldid=1237361990&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Nominal_terms_(computer_science)
is dbo:wikiPageDisambiguates of	dbr:Nominal_terms
is dbo:wikiPageWikiLink of	dbr:Nominal_techniques dbr:Nominal_terms
is foaf:primaryTopic of	wikipedia-en:Nominal_terms_(computer_science)

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International