Numerical Representations as Higher-Order Nested Datatypes (1998)

by R Hinze
Venue:Institut fur Informatik III, Universitat