Adjunções

abstração x -> y x -> encapsulamento y instanciação = x -> encapsulamento de abstração de x eta redução = abstração de encapsulamento de y -> y abstração – | …

Continuar lendo