List-arithmetic distributive categories: Locoi (1990)

by J Robin Cockett
Venue:Journal of Pure and Applied Algebra