Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/a43aa7941eb468763d4db432ff43caa3aa5db1eec6df3f3f8c83e565a4eaf20e> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- a43aa7941eb468763d4db432ff43caa3aa5db1eec6df3f3f8c83e565a4eaf20e authorlink "Thierry Coquand".
- a43aa7941eb468763d4db432ff43caa3aa5db1eec6df3f3f8c83e565a4eaf20e chapter "An analysis of Girard's paradox".
- a43aa7941eb468763d4db432ff43caa3aa5db1eec6df3f3f8c83e565a4eaf20e first "Thierry".
- a43aa7941eb468763d4db432ff43caa3aa5db1eec6df3f3f8c83e565a4eaf20e isCitedBy System_U.
- a43aa7941eb468763d4db432ff43caa3aa5db1eec6df3f3f8c83e565a4eaf20e last "Coquand".
- a43aa7941eb468763d4db432ff43caa3aa5db1eec6df3f3f8c83e565a4eaf20e pages "227–236".
- a43aa7941eb468763d4db432ff43caa3aa5db1eec6df3f3f8c83e565a4eaf20e publisher "IEEE Computer Society Press".
- a43aa7941eb468763d4db432ff43caa3aa5db1eec6df3f3f8c83e565a4eaf20e title "Logic in Computer Science".
- a43aa7941eb468763d4db432ff43caa3aa5db1eec6df3f3f8c83e565a4eaf20e year "1986".