About: System U

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

Special forms of a typed lambda calculus

Property	Value
dbo:description	special forms of a typed lambda calculus (en)
dbo:wikiPageWikiLink	dbr:System_F dbr:Oxford_University_Press dbr:First-class_function dbr:Parametric_polymorphism dbc:Lambda_calculus dbr:Intuitionistic_type_theory dbr:Per_Martin-Löf dbr:Many-sorted_logic dbc:Proof_theory dbr:Russell's_paradox dbr:Type_constructor dbr:Type_inhabitation dbr:Type_theory dbr:Typed_lambda_calculus dbr:Naive_set_theory dbr:IEEE_Computer_Society dbr:Structure_(mathematical_logic) dbr:Jean-Yves_Girard dbc:Type_theory dbr:Mathematical_logic dbr:Pure_type_system dbr:Curry–Howard_correspondence dbr:Kind_(type_theory)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_conference dbt:R dbt:Rp dbt:Short_description
dct:subject	dbc:Lambda_calculus dbc:Proof_theory dbc:Type_theory
gold:hypernym	dbr:Systems
rdfs:label	System U (en) Σύστημα U (el) Le Système U (fr)
owl:sameAs	freebase:System U wikidata:System U dbpedia-fr:System U dbpedia-el:System U dbpedia-global:System U dbr:System U
prov:wasDerivedFrom	wikipedia-en:System_U?oldid=1292195559&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:System_U
is dbo:knownFor of	dbr:Jean-Yves_Girard
is dbo:wikiPageRedirects of	dbr:Girard's_paradox dbr:System_U−
is dbo:wikiPageWikiLink of	dbr:System_F dbr:Universe_(mathematics) dbr:Type_inhabitation dbr:Type_theory dbr:Jean-Yves_Girard dbr:Pure_type_system dbr:Girard's_paradox dbr:System_U−
is dbp:knownFor of	dbr:Jean-Yves_Girard
is foaf:primaryTopic of	wikipedia-en:System_U

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