Revision history for entry Moldestad, Johan (1977). "Computations in Higher Types" [MOLCIH]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes