Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/1524893

A transfinite type theory with type variables

Open All Close All

type

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

about

http://schema.org/about

author

http://schema.org/author

http://worldcat.org/entity/person/id/2642185849

contributor

http://schema.org/contributor

http://worldcat.org/entity/person/id/2642185849

creator

http://schema.org/creator

http://worldcat.org/entity/person/id/2642185849

genre

http://schema.org/genre

"Electronic books"@en

name

http://schema.org/name

"A Transfinitive type theory with type variables"
"A transfinite type theory with type variables"
"A transfinite type theory with type variables"@en
"A transfinite type with type variables"
"A transfinite type theory with type variables. by P. B. Andrews"
"A Transfinite type theory with type variables"

workExample

http://schema.org/workExample