Jaap van der Woude

A relational theory of datatypes

C.J. Aarts, Roland Backhouse, Paul Hoogendijk et al. · TU/e Research Portal (Eindhoven University of Technology) · 1992 · 72 citations · Full text

Engineering, Data Type, Data Science +7

Demonic operators and monotype factors

Roland Backhouse, Jaap van der Woude · Mathematical Structures in Computer Science · 1993 · 58 citations

Algebraic Logic, Demonic Composition, Monotype Factors +7

A calculational approach to mathematical induction

Henk Doornbos, Roland Backhouse, Jaap van der Woude · Theoretical Computer Science · 1997 · 53 citations · Full text

Mathematics Education, Mathematical Induction, Automated Reasoning +5

Polynomial Relators (Extended Abstract)

Roland Backhouse, Peter Bruin, Paul Hoogendijk et al. · TU/e Research Portal · 1991 · 18 citations

Universal Algebra, Polynomial Relators, Algebraic Structure +1

Characterizations of (H)PI extensions

Jaap van der Woude · Pacific Journal of Mathematics · 1985 · 15 citations · Full text

Geometry Of Number, Dirichlet Form, Pi Extensions +5