The Structure of Typed Programming Languages - Foundations of Computing - David A. Schmidt - Libros - MIT Press Ltd - 9780262691710 - 1 de marzo de 1994
En caso de que portada y título no coincidan, el título será el correcto

David A. Schmidt
The Structure of Typed Programming Languages - Foundations of Computing

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

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

The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory.

383 pages

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de marzo de 1994
ISBN13 9780262691710
Editores MIT Press Ltd
Páginas 383
Dimensiones 175 × 226 × 23 mm   ·   680 g
Editor de series Garey, Michael R.
Editor de series Meyer, Albert

Mas por David A. Schmidt

Mostrar todo

Mere med samme udgiver

Ver todo de David A. Schmidt ( Ej. Paperback Book )