Severi, Paula Gabriela

<http://data.bibliotheken.nl/id/thes/p115129537>

schema:Person
rdfs:label "Severi, Paula Gabriela"
schema:name "Paula Gabriela Severi"
schema:familyName "Severi"
schema:givenName "Paula Gabriela"
schema:sameAs <https://isni.org/isni/0000000388997396>
wd:Q102303978
<http://viaf.org/viaf/239332656>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/3fcfda2c7227818a90b9e4ff288a851f>

Inverse relations

[ .. ] → schema:contributor → Severi, Paula Gabriela

Abstract reduction and topology / by Walter Ferrer and Paula Severischema:ProductModel On normalisation / F. van Raamsdonk, P. Severischema:ProductModel

[ .. ] → schema:author → Severi, Paula Gabriela

A type inference algorithm for pure type systems / by Paula Severischema:ProductModel Normalisation in lambda calculus and its relation to type inference / Paula Gabriela Severischema:ProductModel Pure type systems with definitions / by Paula Severi and Erik Pollschema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql