Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Congreso International Conference on Typed Lambda Calculi and Applications (2nd. 1995. Edinburgo, Escocia)

Título Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)

Publicación Berlin ; New York : Springer-Verlag, 1995
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 902    PRÉSTAMO LARGO  DISPONIBLE
Descripción física viii, 442 p. : il. ; 24 cm
Colección Lecture notes in computer science, 0302-9743 ; 902
Materia Cálculo de Lambda -- Congresos
       Mostrar referencias similares
Autor secundario Plotkin, Gordon, ed. lit.
Dezani-Ciancaglini, Mariangiola, ed. lit.
ISBN 354059048x
354059048X (Berlin : softcover : acid-free) : DM 86
038759048X (New York : softcover : acid-free)