Gerrit van Der Hoeven

According to our database¹, Gerrit van Der Hoeven authored at least 4 papers between 1984 and 2011.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2011

Undergraduate research: a case study.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

1993

Teaching Functional Programming to First-Year Students.

[BibT_eX]

[DOI]

J. Funct. Program., 1993

1984

On Choice Sequences Determined by Spreads.

[BibT_eX]

[DOI]

J. Symb. Log., 1984

Sheaf models for choice sequences.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 1984