Matches in DBpedia 2015-10 for { ?s ?p <http://rdf.freebase.com/ns/m.01yly1> }
Showing triples 1 to 17 of
17
with 100 triples per page.
- Constructive_Type_Theory sameAs m.01yly1.
- Constructive_type_theory sameAs m.01yly1.
- Constructivist_type_theory sameAs m.01yly1.
- Intuitionistic_Theory_of_Types sameAs m.01yly1.
- Intuitionistic_Type_Theory sameAs m.01yly1.
- Intuitionistic_theory_of_types sameAs m.01yly1.
- Intuitionistic_type_theory sameAs m.01yly1.
- Martin-Loef_Type_Theory sameAs m.01yly1.
- Martin-Loef_type_theory sameAs m.01yly1.
- Martin-Loefs_type_theory sameAs m.01yly1.
- Martin-Lof_Type_Theory sameAs m.01yly1.
- Martin-Lof_type_theory sameAs m.01yly1.
- Martin-Lofs_type_theory sameAs m.01yly1.
- Martin-Lxc3xb6fs_type_theory sameAs m.01yly1.
- Martin-Löf_Type_Theory sameAs m.01yly1.
- Martin-Löf_type_theory sameAs m.01yly1.
- Martin–Löf_type_theory sameAs m.01yly1.