1989] "A category-theoretic characterization of functional completeness" Theor (1984)

by G Longo, E Moggi
Venue:in Math. Found. Comp. Sci., Prague 1984 (Chytil, Koubek eds.) LNCS 176