Proofs and types / Jean-Yves Girard, Yves Lafont, Paul Taylor ; translated and with appendices by Paul Taylor, Yves Lafont.
Series Cambridge tracts in theoretical computer science ; 7Detalles de publicación: Cambridge : Cambridge University, 1999.Descripción: xi, 176 p. : il. ; 26 cmTema(s):Tipo de ítem | Biblioteca actual | Signatura | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|
Libro | FaMAF Colección Andrés Raggio | AR C F4.1 G517 | Disponible | Solicitar el Libro en SECCION PRESTAMO. | 10521 |
Total de reservas: 0
Incluye referencias bibliográficas e índice.