A category theoretic characterization of functional completeness (1990)

by G Longo, E Moggi
Venue:Theoretical Computer Science