Numerical Representations as Higher-Order Nested Datatypes (1998)

Cached

Download Links

by Ralf Hinze
Citations:5 - 2 self