Home
SPARQL
On →π⇋-conversion in type theory / by R. Bloo, F. Kamareddine, R. Nederpelt
<http:/
/
data.bibliotheken.nl/
id/
nbt/
p125872755>
schema:
Book
schema:
ProductModel
schema:
CreativeWork
rdfs:
label
"On →π⇋-conversion in type theory / by R. Bloo, F. Kamareddine, R. Nederpelt"
schema:
name
"On →π⇋-conversion in type theory"
schema:
author
Department of Mathematics and Computing Science (Eindhoven ; 1986-....)
Bloo, Carolus Johannes (1970-)
schema:
contributor
Nederpelt, R.P. (1942-)
Kamareddine, Fairouz D.
schema:
same
As
<http:/
/
www.worldcat.org/
oclc/
776807054>
schema:
main
Entity
Of
Page
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
3d05803a669ef66fef4184539e30061e>
http:/
/
purl.org/
dc/
terms#
issued
"1994"
schema:
about
computerwiskunde
schema:
in
Language
"en"
schema:
is
Part
Of
Computing science reports / Eindhoven University of Technology, Department of Mathematics and Computing Science
schema:
number
Of
Pages
16
schema:
publication
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
2d3916e5c59a01f8a6f11d33cd33adb3>
Download as:
RDF/XML
JSON-LD
Turtle
data from SPARQL endpoint:
https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql