Home
SPARQL
A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan and Rob Nederpelt
<http:/
/
data.bibliotheken.nl/
id/
nbt/
p264677277>
schema:
CreativeWork
schema:
Book
schema:
ProductModel
rdfs:
label
"A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan and Rob Nederpelt"
schema:
name
"A modern perspective on type theory : from its origins until today"
schema:
author
Kamareddine, Fairouz D.
schema:
contributor
Laan, Twan Dismas Laurens (1970-)
Nederpelt, R.P. (1942-)
schema:
same
As
<http:/
/
www.worldcat.org/
oclc/
55511463>
schema:
main
Entity
Of
Page
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
12b7fced15d27ff931d382287dd44a90>
kbdef:
has
Derivative
A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt
http:/
/
purl.org/
dc/
terms#
issued
"2004"
schema:
about
Typentheorie
<http:/
/
data.bibliotheken.nl/
id/
thes/
p077601874>
schema:
associated
Media
<http:/
/
catdir.loc.gov/
catdir/
enhancements/
fy0822/
2004051545-
t.html>
<http:/
/
www.loc.gov/
catdir/
enhancements/
fy0822/
2004051545-
t.html>
<http:/
/
catdir.loc.gov/
catdir/
enhancements/
fy0814/
2004051545-
d.html>
<http:/
/
www.loc.gov/
catdir/
enhancements/
fy0814/
2004051545-
d.html>
schema:
in
Language
"en"
schema:
is
Part
Of
Applied logic series
schema:
isbn
"1402023340"
schema:
number
Of
Pages
357
schema:
publication
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
d3a33340683b66c34320504de0fb8542>
Inverse relations
[ .. ] →
schema:
is
Based
On
→ A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan and Rob Nederpelt
A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt
schema:
ProductModel
Download as:
RDF/XML
JSON-LD
Turtle
data from SPARQL endpoint:
https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql