escudo

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

Col. Esp. ESLAI/LFC-1988


  

A typed lambda calculus with categorical type constructors

[MONOGRAFÍA]. --
Edinburgh :

University of Edinburgh. Departament of Computer Science

, . -- . -- (LFCS Report Series / ; 88-44)

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

A typed lambda calculus with categorical type constructors

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 / ; 88-44
Fecha de Alta
26/02/2013 09:58:07
Número de Registro
37543
1 Ejemplar
U. Info. Inventario S.T. / Ubicación
21.12605 Col. Esp. ESLAI/LFC-1988

Consultas y sugerencias: biblio@unlu.edu.ar

logo Pérgamo Pérgamo OPAC Web

Formulario para Solicitud de Material

Hagino, Tatsuya
A typed lambda calculus with categorical type constructors [MONOGRAFÍA]. -- Edinburgh : University of Edinburgh. Departament of Computer Science, 1987. -- (LFCS Report Series / Laboratory for Foundations of Computer Science (LFCS); 88-44)

(1) Inv.: 21.12605 S.T.: Col. Esp. ESLAI/LFC-1988
Solicitante: