Reescritura, Cálculo Lambda y Substituciones Explícitas

Reescritura, Cálculo Lambda y Substituciones Explícitas. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación

Si tiene alguna pregunta sobre los programas, comuníquese a consultas@bl.fcen.uba.ar

Documento:	Programa de la asignatura
Idioma:	Español
Formato:	PDF
Nombre de la asignatura:	Reescritura, Cálculo Lambda y Substituciones Explícitas
Docente/s a cargo:	Rios, Alejandro
Departamento:	Departamento de Computación
Duración:	cuatrimestral
Momento de dictado:	primero
Código y nombre de asignatura en Guaraní:	Reescritura, Cálculo Lambda y Substituciones Explícitas
Handle:	http://hdl.handle.net/20.500.12110/programa_nCOM199806
PDF:	https://bibliotecadigital.exactas.uba.ar/download/programa/programa_nCOM199806.pdf
Registro:	https://bibliotecadigital.exactas.uba.ar/collection/programa/document/programa_nCOM199806
Ubicación:	COM 1998 06
Derechos de Acceso:	Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Programa de la asignatura : Reescritura, Cálculo Lambda y Substituciones Explícitas. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación. Recuperado de http://hdl.handle.net/20.500.12110/programa_nCOM199806

Descargas totales desde :