01374nab a2200313 i 4500 005883 20251030125802.0 t| 150107s0000####ck##################spa#d 0120-5609 CO-ViULL rda spa spa ck Gomez Perdomo, Jonatan 82951. Programacion Funcional y Lamda Calculo / Jonatan Gomez Perdomo; Wilson Castro Rojas; Alexander Cardona Lopez. ilustraciones. Irregular texto txt rdacontent sin mediación n rdamedia volumen nc rdacarrier En la primera parte de este articulo se explican algnos conceptos de los lenguajes de programacion funcional, haciendo enfasis en las caracteristicas y propiedades de los lenguajes de programacion funcional. En la segunada se realiza una introduccion al lambda calculo puro, su notacion, axiomas y reglas elementales. LENGUAJES DE PROGRAMACION (COMPUTADORES ELECTRONICOS) 31470. FORMA DE BACKUPS - NAUR 82952. PROGRAMACION FUNCIONAL 82953. Castro Rojas, Wilson 82954. Cardona Lopez, Alexander 82955. Ingenieria e Investigacion Bogota : Facultad de Ingenieria. Universidad Nacional No.40, (1998). -- p. 72-82 ddc AS 5881 5881