Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Normalization_property_(lambda-calculus)> }
Showing triples 1 to 8 of
8
with 100 triples per page.
- Calculus_of_constructions wikiPageWikiLink Normalization_property_(lambda-calculus).
- Curry–Howard_correspondence wikiPageWikiLink Normalization_property_(lambda-calculus).
- F-algebra wikiPageWikiLink Normalization_property_(lambda-calculus).
- Initial_algebra wikiPageWikiLink Normalization_property_(lambda-calculus).
- Lambda_cube wikiPageWikiLink Normalization_property_(lambda-calculus).
- Simply_typed_lambda_calculus wikiPageWikiLink Normalization_property_(lambda-calculus).
- System_F wikiPageWikiLink Normalization_property_(lambda-calculus).
- Normalization_property_(lambda-calculus) primaryTopic Normalization_property_(lambda-calculus).