Repositorios 1

ABSTRACT MACHINES 3 CALCULO-λ 3 ESTRATEGIAS DE EVALUACION 3 EVALUACION LAZY 3 EVALUATION STRATEGIES 3 EXPLICIT SUBSTITUTIONS 3 LAZY EVALUATION 3 MAQUINAS ABSTRACTAS 3 PROGRAMMING LANGUAGE SEMANTICS 3 RESIDUAL THEORY 3 SEMANTICA DE LENGUAJES DE PROGRAMACION 3 SISTEMA DE TIPOS 3 SUSTITUCIONES EXPLICITAS 3 Semantics 3 TEORIA DE RESIDUOS 3 TYPE SYSTEMS 3 λ-CALCULUS 3 Computer software 2 Execution environments 2 Execution semantics 2 Job analysis 2 Memory architecture 2 Memory management 2 Programming language semantics 2 Reference architecture 2 Shape 2 Software 2 Task analysis 2 Virtual machine 2 Virtual machining 2