Computations in Higher Types door J. Moldestad