Recibir nuevas ofertas de empleo por email
- 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...Sugerido
- se me da fácil entender y trasmitir información, por lo tanto se que puedo bridar muchos de mis conocimientos y experiencias a quien este dispuesto a aprenderSugeridoAprendiz
- Hola he estudiado ingles y aunque tengo vocabulario, aún me cuesta dejar de traducir en mi mente y el tema de reglas gramaticales, estoy buscando un mentor que me ayude a construir una metodología de aprendizaje. GraciasSugeridoAprendiz