Expressibility of functions (1976)

by V Y Sazonov
Venue:in D. Scott’s LCF language.”, Algebra i Logika