Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Template:Type-theory-stub> }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Bounded_quantification wikiPageUsesTemplate Template:Type-theory-stub.
- Container_(type_theory) wikiPageUsesTemplate Template:Type-theory-stub.
- Principal_type wikiPageUsesTemplate Template:Type-theory-stub.
- Subject_reduction wikiPageUsesTemplate Template:Type-theory-stub.
- System_F-sub wikiPageUsesTemplate Template:Type-theory-stub.
- Type_constructor wikiPageUsesTemplate Template:Type-theory-stub.
- Type_inhabitation wikiPageUsesTemplate Template:Type-theory-stub.
- Type_rule wikiPageUsesTemplate Template:Type-theory-stub.
- Type_variable wikiPageUsesTemplate Template:Type-theory-stub.
- Typing_environment wikiPageUsesTemplate Template:Type-theory-stub.