DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { ?s ?p <http://www.cs.man.ac.uk/~pt/stable/Proofs+Types.html> }

• Linear_logic wikiPageExternalLink Proofs+Types.html.
• Natural_deduction wikiPageExternalLink Proofs+Types.html.
• Proofs+Types.html url Proofs+Types.html.