Statistics
Publications
16
Citations
393
H-Index
13
Active since
1990
Jaap van Oosten is an author at Utrecht University specializing in mathematics, computer science, and topos theory.
Publications per year
1990–2014
16
16
Relational Reasoning about Functions and Nondeterminism
Søren B. Lassen, Olivier Danvy, Glynn Winskel et al. · 1999 · 77 citations
1–5 of 16