Matches in DBpedia 2014 for { ?s ?p <http://rdf.freebase.com/ns/m.01yly1> . }
Showing items 1 to 17 of
17
with 100 items 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%E2%80%93L%C3%B6f_type_theory sameAs m.01yly1.
- Martin-L%C3%B6f's_type_theory sameAs m.01yly1.
- Martin-L%C3%B6f_Type_Theory sameAs m.01yly1.
- Martin-L%C3%B6f_type_theory sameAs m.01yly1.
- Martin-Loef's_type_theory sameAs m.01yly1.
- Martin-Loef_Type_Theory sameAs m.01yly1.
- Martin-Loef_type_theory sameAs m.01yly1.
- Martin-Lof's_type_theory sameAs m.01yly1.
- Martin-Lof_Type_Theory sameAs m.01yly1.
- Martin-Lof_type_theory sameAs m.01yly1.