1 resultado para lambda-calcolo, teoremi di separazione, risorse, espansione di Taylor
em RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal
Relevância:
Resumo:
Dissertation presented to obtain the Ph.D. degree in Biochemistry