Matches in DBpedia 2015-10 for { <http://www.paultaylor.eu/stable/Proofs%2BTypes.html> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Proofs%2BTypes.html author2 "Paul Taylor".
- Proofs%2BTypes.html author3 "Yves Lafont".
- Proofs%2BTypes.html authorlink "Jean-Yves Girard".
- Proofs%2BTypes.html first "Jean-Yves".
- Proofs%2BTypes.html isCitedBy Sequent_calculus.
- Proofs%2BTypes.html isbn "0-521-37181-3".
- Proofs%2BTypes.html last "Girard".
- Proofs%2BTypes.html origyear "1989".
- Proofs%2BTypes.html publisher "Cambridge University Press".
- Proofs%2BTypes.html title "Proofs and Types".
- Proofs%2BTypes.html url Proofs%2BTypes.html.
- Proofs%2BTypes.html year "1990".