Buscar
Mostrando ítems 11-20 de 103
Programacion funcional y lambda cálculo
(Universidad Nacional de Colombia - Facultad de Ingeniería, 1998)
En la primera parte de este artículo se explican algunos conceptos de los lenguajes de programación, haciendo énfasis en las caracteristicas y propiedades de los lenguajes de programación funcional. En la segunda, se realiza ...
Aproximando los escalares de un lambda-cálculo algebraico mediante cotas inferiores
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)
Implementing a programming language with a dependent type system
(Florianópolis, SC., 2022)
Geometric symmetric powers in the homotopy categories of schemes over a field
(University of LiverpoolGB, 2020)