Bakel, Stephanus Johannes van (1958-)
| rdfs:label | "Bakel, Stephanus Johannes van (1958-)" |
| schema:name | "Stephanus Johannes van Bakel" |
|
schema:family |
"van Bakel" |
|
schema:given |
"Stephanus Johannes" |
|
schema:birth |
"1958" |
|
schema:same |
<http:/ |
| wd:Q102121377 | |
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Bakel, Stephanus Johannes van (1958-)
Complete restrictions of the intersection type discipline / S. van Bakelschema:ProductModel
Intersection type disciplines in Lambda Calculus and applicative term rewriting systems / Stephanus Johannes van Bakelschema:ProductModel
Strong normalization of typeable rewrite systems / Steffen van Bakel and Maribel Fernándezschema:ProductModel