Higher-order type operator

Vikipedi'den, özgür ansiklopediden