About: Pure type system

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Form of typed lambda calculus that allows an arbitrary number of sorts and dependencies between any of these

Property Value
dbo:description
  • form of typed lambda calculus that allows an arbitrary number of sorts and dependencies between any of these (en)
  • форма типізованого лямбда-числення (uk)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:id
  • pure+type+system (en)
dbp:title
  • Pure type system (en)
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Pure type system (en)
  • Αμιγές σύστημα τύπων (el)
  • Чиста система типів (uk)
  • Чистая система типов (ru)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International