Gerrit van Der Hoeven

Publication Activity (10 Years)

Years Active: 1984-2011
Publications (10 Years): 0

Publications

Herman Koppelman, Betsy van Dijk, Gerrit van Der Hoeven
Undergraduate research: a case study. ITiCSE (2011)
Stef Joosten, Klaas van den Berg, Gerrit van Der Hoeven
Teaching Functional Programming to First-Year Students. J. Funct. Program. 3 (1) (1993)
Gerrit van Der Hoeven, Ieke Moerdijk
On Choice Sequences Determined by Spreads. J. Symb. Log. 49 (3) (1984)
Gerrit van Der Hoeven, Ieke Moerdijk
Sheaf models for choice sequences. Ann. Pure Appl. Log. 27 (1) (1984)