Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / ed. Philippe Groote, J. Roger Hindley.
Series Lecture notes in computer science ; v. 1210 | LNCS ; v. 1210Detalles de publicación: Berlin : Springer, 1997.Descripción: viii, 404 p. : il. ; 24 cmISBN:- 3540626883
Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|
Libro | FaMAF Sección Lecture Notes | C LNCS v. 1210 | Disponible | 14879 |
Total de reservas: 0