CALCULO-λ 4 λ-CALCULUS 4 ABSTRACT MACHINES 2 APRENDIZAJE PROFUNDO 2 ARTIFICIAL NEURAL NETWORKS 2 CHOREOGRAPHIES 2 CLASSICAL LOGIC 2 COGNITIVE SEMANTICS 2 CONSTRUCTIVE LOGIC 2 COREOGRAFIAS 2 CURRY-HOWARD 2 DEEP LEARNING 2 DENOTATIONAL SEMANTICS 2 ESTRATEGIAS DE EVALUACION 2 EVALUACION LAZY 2 EVALUATION STRATEGIES 2 EXPLICIT SUBSTITUTIONS 2 FORMAL METHODS 2 FORMAL SEMANTICS 2 FUNCTIONAL PROGRAMMING 2 KRIPKE SEMANTICS 2 LAZY EVALUATION 2 LOGIC 2 LOGIC PROGRAMMING 2 LOGICA 2 LOGICA CLASICA 2 LOGICA CONSTRUCTIVA 2 MAQUINAS ABSTRACTAS 2 METODOS FORMALES 2 NATURAL LANGUAGE PROCESSING 2