Bakel, Steffen van.
Bakel, Steffen van (Stephanus Johannes), 1958-
Bakel, Stephanus Johannes van 1958-
Steffen van Bakel Dr. Katholieke Universiteit Nijmegen 1993
VIAF ID: 161844781 (Personal)
Permalink: http://viaf.org/viaf/161844781
Preferred Forms
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Comparing cubes of typed and type assignment systems | |
Complete restrictions of the intersection type discipline | |
Intersection type disciplines in Lambda Calculus and applicative term rewriting systems | |
Strong normalization of typeable rewrite systems |