Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Higher-order_abstract_syntax> }
Showing triples 1 to 22 of
22
with 100 triples per page.
- HOAS wikiPageDisambiguates Higher-order_abstract_syntax.
- Higher_order_abstract_syntax wikiPageRedirects Higher-order_abstract_syntax.
- Abstract_syntax wikiPageWikiLink Higher-order_abstract_syntax.
- De_Bruijn_index wikiPageWikiLink Higher-order_abstract_syntax.
- Generalized_algebraic_data_type wikiPageWikiLink Higher-order_abstract_syntax.
- HOAS wikiPageWikiLink Higher-order_abstract_syntax.
- Higher_order_abstract_syntax wikiPageWikiLink Higher-order_abstract_syntax.
- Name_binding wikiPageWikiLink Higher-order_abstract_syntax.
- Nominal_techniques wikiPageWikiLink Higher-order_abstract_syntax.
- Nominal_terms_(computer_science) wikiPageWikiLink Higher-order_abstract_syntax.
- Scope_(computer_science) wikiPageWikiLink Higher-order_abstract_syntax.
- TreeDL wikiPageWikiLink Higher-order_abstract_syntax.
- Twelf wikiPageWikiLink Higher-order_abstract_syntax.
- ΛProlog wikiPageWikiLink Higher-order_abstract_syntax.
- 15-barzilay.pdf isCitedBy Higher-order_abstract_syntax.
- hoas-paper.pdf isCitedBy Higher-order_abstract_syntax.
- ltrees.pdf isCitedBy Higher-order_abstract_syntax.
- slp87.pdf isCitedBy Higher-order_abstract_syntax.
- lics99hoas.ps.gz isCitedBy Higher-order_abstract_syntax.
- BFb0014049 isCitedBy Higher-order_abstract_syntax.
- 53990.54010 isCitedBy Higher-order_abstract_syntax.
- Higher-order_abstract_syntax primaryTopic Higher-order_abstract_syntax.