Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    03B40 - Combinatory logic and lambda-calculus
Mostrando 1-6 de 6 resultados, ordenados por

Imagen de la tapa

Categorical logic and type theory

Bart Jacobs.

1st ed.

Amsterdam : Elsevier Science, ©1999.

Ubicación:

  • 03
    J17

Denotational semantics : the Scott-Strachey approach to programming language theory

by Joseph E. Stoy.

Cambridge, Mass. : MIT Press, ©1977.

Ubicación:

  • 68
    St893

Recursive programming techniques

William H. Burge.

Reading, Mass. : Addison-Wesley, ©1975.

Ubicación:

  • 68
    B954

Combinatory logic

Haskell B. Curry, Robert Feys ; with two sections by William Craig.

Amsterdam : North-Holland, 1958-1972.

Ubicación:

  • v. 1:
    03
    C976c
    v.1

Deux esquisses de logique

par J. Barkley Rosser.

Paris : Gauthier-Villars, 1955.

Ubicación:

  • 03
    R828d

The calculi of lambda-conversion

by Alonzo Church.

Princeton : Princeton University Press, 1941.

Ubicación:

  • 03
    C561

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos