Mostrando
1 - 6
Resultados de
6
Para Buscar '
'
Saltar al contenido
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Idioma
English
Español
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Materias:
Cálculo lambda
Mostrar filtros (1)
Materias:
Cálculo lambda
Inicio
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Cálculo lambda
Lógica matemática
5
Funciones recursivas
1
Mostrando
1 - 6
Resultados de
6
Para Buscar '
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Lectures on the Curry-Howard isomorphism
por
Sorensen, Morten Heine
Publicado 2007
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
2
The calculi of lambda-conversion
por
Church, Alonzo, 1903-1995
Publicado 1985
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
3
Computable structures and the hyperarithmetical hierarchy
por
Ash, C. J.
Publicado 2006
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
4
The lambda calculus its syntax and semantics
por
Barendregt, H. P.
Publicado 1981
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
5
The lambda calculus its syntax and semantics
por
Barendregt, H. P.
Publicado 1985
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
6
Lambda-calculus, types and models
por
Krivine, J. L.
Publicado 1993
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
Herramientas de búsqueda:
RSS
–
Enviar por Correo electrónico esta Búsqueda
Atrás
Limitar resultados
Institución
Biblioteca Universidad de Deusto
6
Formato
Libro
6
Idioma
Inglés
6
Autor
Barendregt, H. P.
2
Ash, C. J.
1
Church, Alonzo
1
Church, Alonzo, 1903-1995
1
Knight, J. (Julia)
1
Krivine, J. L.
1
Sorensen, Morten Heine
1
ver todos…
Editor
Elsevier
2
North-Holland
2
Ellis Horwood
1
Masson
1
University Press [etc.]
1
Año de Publicación
De:
a: