CALCULO-λ 4 λ-CALCULUS 4 ABSTRACT MACHINES 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 TEORIA DE RESIDUOS 3 TYPE SYSTEMS 3 CLASSICAL LOGIC 1 CONSTRUCTIVE LOGIC 1 CURRY-HOWARD 1 DENOTATIONAL SEMANTICS 1 FUNCTIONAL PROGRAMMING 1 KRIPKE SEMANTICS 1 LOGIC 1 LOGIC PROGRAMMING 1 LOGICA 1 LOGICA CLASICA 1 LOGICA CONSTRUCTIVA 1 PROGRAMACION FUNCIONAL 1 PROGRAMACION LOGICA 1 PROGRAMACION RELACIONAL 1