A category-theoretic characterization of functional completeness (1990)

by G Longo, E Moggi
Venue:Theoret. Comput. Sci