escudo

Universidad Nacional de Luján
Catálogo Bibliográfico

Col. Esp. ESLAI/LFC-1987


  

Using typed lambda calculus to implement formal systems on a machine

[MONOGRAFÍA]. --
Edinburgh :

University of Edinburgh. Departament of Computer Science

, . -- . -- (LFCS Report Series / ; 87-31)

  I. II.

  (1) Inv.: 21.12598 S.T.: Col. Esp. ESLAI/LFC-1987
  Visualización de Monografía
U. Info.
(1) [Cent]
Tipo de Material
(M) MONOGRAFÍA
Título

Using typed lambda calculus to implement formal systems on a machine

Responsables Principales
; ;
Lugar
Edinburgh
Editorial
University of Edinburgh. Departament of Computer Science
Fecha de Publicación
1987
Título de Colección/Serie
  LFCS Report Series / ; 87-31
Fecha de Alta
26/02/2013 09:35:44
Número de Registro
37551
1 Ejemplar
U. Info. Inventario S.T. / Ubicación
21.12598 Col. Esp. ESLAI/LFC-1987

Consultas y sugerencias: biblio@unlu.edu.ar

logo Pérgamo Pérgamo OPAC Web

Formulario para Solicitud de Material

Avron, Arnon
Using typed lambda calculus to implement formal systems on a machine [MONOGRAFÍA]. -- Edinburgh : University of Edinburgh. Departament of Computer Science, 1987. -- (LFCS Report Series / Laboratory for Foundations of Computer Science (LFCS); 87-31)

I. Honsell, Furio A. II. Mason, Ian A.

(1) Inv.: 21.12598 S.T.: Col. Esp. ESLAI/LFC-1987
Solicitante: