{"@context":{"owl":"http://www.w3.org/2002/07/owl#","bibo":"http://purl.org/ontology/bibo/","foaf":"http://xmlns.com/foaf/0.1/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/"},"@id":"https://ci.nii.ac.jp/ncid/BB22808138.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BB22808138#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BB22808138.json"},"dc:title":[{"@value":"Practical foundations for programming languages"}],"dc:creator":"Robert Harper","dc:publisher":[{"@value":"Cambridge University Press"}],"dcterms:extent":"xviii, 494 p.","cinii:size":"27 cm","dc:language":"eng","dc:date":"2016","cinii:ncid":"BB22808138","prism:edition":"2nd ed","cinii:ownerCount":"5","foaf:maker":[{"@id":"https://ci.nii.ac.jp/author/DA13146483#entity","@type":"foaf:Person","foaf:name":[{"@value":"Harper, Robert William"}]}],"bibo:owner":[{"@id":"https://ci.nii.ac.jp/library/FA001390","@type":"foaf:Organization","foaf:name":"東北大学 附属図書館 北青葉山分館","rdfs:seeAlso":{"@id":"https://opac.library.tohoku.ac.jp/opac/opac_openurl/?ncid=BB22808138"}},{"@id":"https://ci.nii.ac.jp/library/FA002484","@type":"foaf:Organization","foaf:name":"名古屋大学 理学 図書室","rdfs:seeAlso":{"@id":"https://m-opac.nul.nagoya-u.ac.jp/iwjs0023opc/ufirdi.do?ufi_target=ctlsrh&ncid=BB22808138&initFlg=_RESULT_SET_NOTBIB"}},{"@id":"https://ci.nii.ac.jp/library/FA002837","@type":"foaf:Organization","foaf:name":"京都工芸繊維大学 附属図書館","rdfs:seeAlso":{"@id":"https://opac.lib.kit.ac.jp/opac/opac_openurl/?ncid=BB22808138"}},{"@id":"https://ci.nii.ac.jp/library/FA005642","@type":"foaf:Organization","foaf:name":"拓殖大学 八王子図書館","rdfs:seeAlso":{"@id":"https://opac.lib.takushoku-u.ac.jp/opac/search?target=local&searchmode=complex&autoDetail=true&s_ncid=BB22808138"}},{"@id":"https://ci.nii.ac.jp/library/FA014304","@type":"foaf:Organization","foaf:name":"城西国際大学 水田記念図書館","rdfs:seeAlso":{"@id":"https://opac.jiu.ac.jp/opac/opac_openurl/?ncid=BB22808138"}}],"bibo:lccn":["2015045380"],"rdfs:seeAlso":[{"@id":"https://lccn.loc.gov/2015045380"}],"prism:publicationDate":["2016"],"cinii:note":["Includes bibliographical references (p. [479]-485) and index"],"dc:subject":["LCC:QA76.7","DC23:005.13"],"foaf:topic":[{"@id":"https://ci.nii.ac.jp/books/search?q=Programming+languages+%28Electronic+computers%29","dc:title":"Programming languages (Electronic computers)"}],"dcterms:hasPart":[{"@id":"urn:isbn:9781107150300","dc:title":": hardback"}]}]}