Matches in DBpedia 2016-04 for { ?s ?p <http://plato.stanford.edu/entries/type-theory-church/> }
Showing triples 1 to 6 of
6
with 100 triples per page.
- Higher-order_logic wikiPageExternalLink type-theory-church.
- Q_zero wikiPageExternalLink type-theory-church.
- Simply_typed_lambda_calculus wikiPageExternalLink type-theory-church.
- Q1644136 wikiPageExternalLink type-theory-church.
- Q7265672 wikiPageExternalLink type-theory-church.
- Q855192 wikiPageExternalLink type-theory-church.