Vrijer, Roelof Cornelis de

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

schema:Person

rdfs:label	"Vrijer, Roelof Cornelis de"
schema:name	"Roelof Cornelis de Vrijer"
schema:familyName	"de Vrijer"
schema:givenName	"Roelof Cornelis"
schema:sameAs	<https://isni.org/isni/0000000028990908>
	wd:Q102253372
	<http://viaf.org/viaf/43472950>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/bfea2c628ce8eb07ff6feb47ab0a6952>

Inverse relations

[ .. ] → schema:author → Vrijer, Roelof Cornelis de

Conditional linearization / R. de Vrijer schema:ProductModel Extending the lambda calculus with surjective pairing is conservative / Roel de Vrijer schema:ProductModel Surjective pairing and strong normalization : two themes in lambda calculus / Roelof Cornelis de Vrijer schema:ProductModel Unique normal forms for combinatory logic with parallel conditional : a case study in conditional rewriting / R.C. de Vrijer schema:ProductModel Unique normal forms for combinatory logic with parallel conditional : a case study in conditional rewriting / Roel de Vrijer schema:ProductModel

[ .. ] → schema:contributor → Vrijer, Roelof Cornelis de

A geometric proof of confluence by decreasing diagrams / J.W. Klop, V. van Oostrom, R. de Vrijer schema:ProductModel A geometric proof of confluence by decreasing diagrams / J.W. Klop, V. van Oostrom, R. de Vrijer schema:ProductModel A geometric proof of confluence by decreasing diagrams / Jan Willem Klop, Vincent van Oostrom, Roel de Vrijer schema:ProductModel Completing partial combinatory algebras with unique head-normal forms / I. Bethke, J.W. Klop, R. de Vrijer schema:ProductModel Descendants and origins in term rewriting / I. Bethke, J.W. Klop, R, de Vrijer schema:ProductModel Descendants and origins in term rewriting / I. Bethke, J.W. Klop, R. de Vrijer schema:ProductModel Extended term rewriting systems / J.W. Klop, R.C. de Vrijer schema:ProductModel Extended term rewriting systems / Jan Willem Klop, Roel de Vrijer schema:ProductModel Extending partial combinatory algebras / I. Bethke, J.W. Klop, R. de Vrijer schema:ProductModel Extending partial combinatory algebras / I. Bethke, J.W. Klop, R. de Vrijer schema:ProductModel Four equivalent equivalences of reductions / Vincent van Oostrom, Roel de Vrijer schema:ProductModel Infinitary normalization / J.W. Klop, R.C. de Vrijer schema:ProductModel Origin tracking in orthogonal term rewriting systems / I. Bethke, J.W. Klop, R. de Vrijer schema:ProductModel Unique normal forms for Lambda calculus with surjective pairing / Jan Willem Klop, Roel de Vrijer schema:ProductModel Unique normal forms for Lambda calculus with surjective pairing / Jan Willem Klop, Roel de Vrijer schema:ProductModel

Download as:

RDF/XML JSON-LD Turtle

data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql