Presentación del autor Henk Barendregt:

Libros publicados hasta ahora por Henk Barendregt:

Cálculo lambda con tipos - Lambda Calculus with Types
Cambridge
Este manual con ejercicios revela en los formalismos, hasta ahora utilizados principalmente para el diseño y la...
Cálculo lambda con tipos - Lambda Calculus with Types
Un satélite de cálculo lambda - A Lambda Calculus Satellite
Kings College Pubn
En 1936, la noción de computabilidad intuitiva se operacionalizó de dos maneras distintas:...
Un satélite de cálculo lambda - A Lambda Calculus Satellite
Un satélite de cálculo lambda - A Lambda Calculus Satellite
Kings College Pubn
En 1936, la noción de computabilidad intuitiva se operacionalizó de dos maneras distintas:...
Un satélite de cálculo lambda - A Lambda Calculus Satellite
<<
1
>>

© Book1 Group - todos los derechos reservados.
El contenido de este sitio no se puede copiar o usar, ni en parte ni en su totalidad, sin el permiso escrito del propietario.
Última modificación: 2024.11.14 07:32 (GMT)