DBpedia – Linked Data Fragments

Matches in DBpedia 2016-04 for { ?s ?p <http://www.cs.chalmers.se/Cs/Research/Logic/book/> }

• Intuitionistic_type_theory wikiPageExternalLink book.
• Logical_framework wikiPageExternalLink book.
• Per_Martin-Löf wikiPageExternalLink book.
• Q2067227 wikiPageExternalLink book.
• Q6059147 wikiPageExternalLink book.
• Q6667502 wikiPageExternalLink book.