Linked Data Explorer
Turtle
N-Triple
JSON-LD
RDF/XML
HTML
Contact Us
Home
http://worldcat.org/entity/work/id/479530768
Functional programming with logical frameworks
Open All
Close All
type
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.productontology.org/id/Thesis
http://schema.org/CreativeWork
creator
http://schema.org/creator
http://experiment.worldcat.org/entity/work/data/479530768#Thing/poswolsky_adam_brett
name
http://schema.org/name
"
Functional programming with logical frameworks
"
workExample
http://schema.org/workExample
http://www.worldcat.org/oclc/612067315
×
Poswolsky, Adam Brett
This is a placeholder reference for a
Thing
entity, related to a WorldCat
Entity
. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
rdf:type
http://schema.org/Thing
schema:name
"
Poswolsky, Adam Brett
"
http://experiment.worldcat.org/entity/work/data/479530768#Thing/poswolsky_adam_brett
Linked Data Explorer