Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/cd4ce2cdc60ce2a5bdf2a2c1a923ce8b47c085ddc8036fba8cb70cc73aabab07> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- cd4ce2cdc60ce2a5bdf2a2c1a923ce8b47c085ddc8036fba8cb70cc73aabab07 first1 "J.-Y.".
- cd4ce2cdc60ce2a5bdf2a2c1a923ce8b47c085ddc8036fba8cb70cc73aabab07 first2 "Y.".
- cd4ce2cdc60ce2a5bdf2a2c1a923ce8b47c085ddc8036fba8cb70cc73aabab07 first3 "P.".
- cd4ce2cdc60ce2a5bdf2a2c1a923ce8b47c085ddc8036fba8cb70cc73aabab07 isCitedBy Coherent_space.
- cd4ce2cdc60ce2a5bdf2a2c1a923ce8b47c085ddc8036fba8cb70cc73aabab07 last1 "Girard".
- cd4ce2cdc60ce2a5bdf2a2c1a923ce8b47c085ddc8036fba8cb70cc73aabab07 last2 "Lafont".
- cd4ce2cdc60ce2a5bdf2a2c1a923ce8b47c085ddc8036fba8cb70cc73aabab07 last3 "Taylor".
- cd4ce2cdc60ce2a5bdf2a2c1a923ce8b47c085ddc8036fba8cb70cc73aabab07 publisher "Cambridge University Press".
- cd4ce2cdc60ce2a5bdf2a2c1a923ce8b47c085ddc8036fba8cb70cc73aabab07 title "Proofs and types".
- cd4ce2cdc60ce2a5bdf2a2c1a923ce8b47c085ddc8036fba8cb70cc73aabab07 year "1989".