Category Theory and Computer Science: 6th International Conference, Ctcs '95, Cambridge, United Kingdom, August 7-11, 1995 - Proceedings - Lecture Notes in Computer Science - D. E. Rydeheard - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540601647 - 21 de julio de 1995
En caso de que portada y título no coincidan, el título será el correcto

D. E. Rydeheard
Category Theory and Computer Science: 6th International Conference, Ctcs '95, Cambridge, United Kingdom, August 7-11, 1995 - Proceedings - Lecture Notes in Computer Science 1995 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

These conference proceedings document the exploitation of links between logic and category theory, leading to a solid basis of much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics.

259 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 21 de julio de 1995
ISBN13 9783540601647
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 259
Dimensiones 155 × 233 × 14 mm   ·   385 g
Lengua Inglés  
Editor Johnstone, Peter T.
Editor Pitt, David
Editor Rydeheard, D.e.

Mere med samme udgiver

Ver todo de D. E. Rydeheard ( Ej. Paperback Book )