Estoy buscando un profesor en cálculo Lambda
Busco clases de Matemáticas
Temas: Cálculo Lambda, Sintaxis de términos Lambda, variables libres y ligadas, Reducción Betas, Estrategias de evaluación, cómo evitar que se capturen variables, sistemas de tipos/Lambda cálculo con tipos, tipado de términos Lambda, derivaciones de tipo y mas generales, normalización, combinadores (punto fijo), evaluación paso a paso expresiones Lambda.
Contactar sin compromiso
Yenny Correa
Datos de contacto validados
