Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings (Second International Conference on Typed Lambda Calculi and Application - Mariangiola Dezani-ciancaglini - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540590484 - 17 de marzo de 1995
En caso de que portada y título no coincidan, el título será el correcto

Mariangiola Dezani-ciancaglini
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings (Second International Conference on Typed Lambda Calculi and Application

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

This volume of conference papers addresses such issues as the proof theory of type systems, logic and type systems, typed lambda calculi as models of higher-order computation, the semantics of typed systems, proof verification via type systems, and typed term rewriting systems.

452 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de marzo de 1995
ISBN13 9783540590484
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 452
Dimensiones 156 × 234 × 23 mm   ·   639 g
Lengua Alemán  
Editor Dezani-ciancaglini, Mariangiola
Editor Plotkin, G.

Mere med samme udgiver

Ver todo de Mariangiola Dezani-ciancaglini ( Ej. Paperback Book )