DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { ?s ?p <http://www.cs.chalmers.se/Cs/Research/Logic/Types/tutorials.html> }

• Intuitionistic_type_theory wikiPageExternalLink tutorials.html.
• Type_theory wikiPageExternalLink tutorials.html.