Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/System_F> }
Showing triples 1 to 69 of
69
with 100 triples per page.
- Coq__programming_language__1 influencedBy System_F.
- John_C._Reynolds knownFor System_F.
- F_omega wikiPageRedirects System_F.
- Fω wikiPageRedirects System_F.
- Higher-order_polymorphic_lambda_calculus wikiPageRedirects System_F.
- Polymorphic_Lambda_Calculus wikiPageRedirects System_F.
- Polymorphic_lambda_calculus wikiPageRedirects System_F.
- Second_order_lambda_calculus wikiPageRedirects System_F.
- System_F-omega wikiPageRedirects System_F.
- System_Fω wikiPageRedirects System_F.
- Universal_types wikiPageRedirects System_F.
- Benno_de_Goeij wikiPageWikiLink System_F.
- Bounded_quantifier wikiPageWikiLink System_F.
- Calculus_of_constructions wikiPageWikiLink System_F.
- Categorical_logic wikiPageWikiLink System_F.
- Church_encoding wikiPageWikiLink System_F.
- Coq wikiPageWikiLink System_F.
- Curry–Howard_correspondence wikiPageWikiLink System_F.
- Dependent_type wikiPageWikiLink System_F.
- F_omega wikiPageWikiLink System_F.
- Fixed-point_combinator wikiPageWikiLink System_F.
- Fω wikiPageWikiLink System_F.
- Glasgow_Haskell_Compiler wikiPageWikiLink System_F.
- Higher-order_polymorphic_lambda_calculus wikiPageWikiLink System_F.
- History_of_programming_languages wikiPageWikiLink System_F.
- Intuitionistic_type_theory wikiPageWikiLink System_F.
- Jean-Yves_Girard wikiPageWikiLink System_F.
- John_C._Reynolds wikiPageWikiLink System_F.
- Kind_(type_theory) wikiPageWikiLink System_F.
- Lambda_calculus wikiPageWikiLink System_F.
- Lambda_cube wikiPageWikiLink System_F.
- List_of_important_publications_in_computer_science wikiPageWikiLink System_F.
- List_of_mathematical_logic_topics wikiPageWikiLink System_F.
- Mogensen–Scott_encoding wikiPageWikiLink System_F.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink System_F.
- Oakenfold_Anthems wikiPageWikiLink System_F.
- POPLmark_challenge wikiPageWikiLink System_F.
- Parametric_polymorphism wikiPageWikiLink System_F.
- Pegasus_in_popular_culture wikiPageWikiLink System_F.
- Per_Martin-Löf wikiPageWikiLink System_F.
- Polymorphic_Lambda_Calculus wikiPageWikiLink System_F.
- Polymorphic_lambda_calculus wikiPageWikiLink System_F.
- Polymorphism_(computer_science) wikiPageWikiLink System_F.
- Programming_language_theory wikiPageWikiLink System_F.
- Rank_1 wikiPageWikiLink System_F.
- Second-order_arithmetic wikiPageWikiLink System_F.
- Second-order_propositional_logic wikiPageWikiLink System_F.
- Second_order_lambda_calculus wikiPageWikiLink System_F.
- Simply_typed_lambda_calculus wikiPageWikiLink System_F.
- System_F-omega wikiPageWikiLink System_F.
- System_F-sub wikiPageWikiLink System_F.
- System_Fω wikiPageWikiLink System_F.
- System_U wikiPageWikiLink System_F.
- Takeutis_conjecture wikiPageWikiLink System_F.
- Total_functional_programming wikiPageWikiLink System_F.
- Turing_completeness wikiPageWikiLink System_F.
- Type_constructor wikiPageWikiLink System_F.
- Type_inhabitation wikiPageWikiLink System_F.
- Type_system wikiPageWikiLink System_F.
- Type_theory wikiPageWikiLink System_F.
- Type_variable wikiPageWikiLink System_F.
- Typed_lambda_calculus wikiPageWikiLink System_F.
- Universal_type wikiPageWikiLink System_F.
- Universal_types wikiPageWikiLink System_F.
- viewcontent.cgi?article=2289&context=compsci isCitedBy System_F.
- books?vid=ISBN0-262-16209-1 isCitedBy System_F.
- 03337985569cb2935011e8f2cd199d0d41f282799105b4a60d80a8135c89ebcb isCitedBy System_F.
- s0049-237x(08)70843-7 isCitedBy System_F.
- System_F primaryTopic System_F.