Matches in DBpedia 2016-04 for { <http://www.cs.man.ac.uk/~pt/stable/Proofs+Types.html> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Proofs+Types.html author1Link "Jean-Yves Girard".
- Proofs+Types.html first1 "Jean-Yves".
- Proofs+Types.html isCitedBy Natural_deduction.
- Proofs+Types.html last1 "Girard".
- Proofs+Types.html publisher "Cambridge University Press, Cambridge, England".
- Proofs+Types.html ref "harv".
- Proofs+Types.html series "Cambridge Tracts in Theoretical Computer Science".
- Proofs+Types.html title "Proofs and Types".
- Proofs+Types.html url Proofs+Types.html.
- Proofs+Types.html year "1990".