DF (55) 55 54 94 02 • Cuernavaca (777) 102 83 86
Síguenos en:
 |  |  |
(55) 55 54 94 02
Libros relacionados
|
Título: Categories For Types | |
| Autor: Crole, Roy L. | Precio: $576.00 | |
| Editorial: Cambridge University Press | Año: 1993 | |
| Tema: Matematicas | Edición: 1ª | |
| Sinopsis | ISBN: 0521457017 | |
| This textbook explains the basic of categorical type theory and illustrates some of the techniques used to drive categorical semantics for specific type theories. | ||
Disponibilidad: Bajo pedido
ó
ó
Librería Bonilla SA de CV © Todos los derechos reservados. 2019
Última actualización: Jul 2019