Data Portal @ linkeddatafragments.org

Matches in DBpedia 2014 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.