¿Qué está mal?

Aviso: Antes de informar sobre un error con la descarga, por favor, prueba el enlace directo: Type Theory & Functional Programming

Cargando...

Debes iniciar sesión para hacer esto.

Type Theory & Functional Programming

Type Theory & Functional Programming

Type Theory & Functional Programming

Puntuación: ---- | 0 votos
| Enviando voto
| ¡Votado!
|

Detalles del libro:

pos
Global
pos
Categoría
Año:1999
Editor:University of Kent
Páginas:378 páginas
Idioma:inglés
Desde:28/08/2013
Tamaño:1.25 MB
Licencia:Pendiente de revisión

Contenido:

La Teoría de Construcción de Tipos ha sido un tema de interés en la investigación tanto para los científicos informáticos, matemáticos, lógicos y filósofos durante varios años.

En matemáticas, lógica y ciencias de la computación, la teoría de tipos es cualquiera de varios sistemas formales que pueden servir como alternativas a la teoría informal de conjuntos, o al estudio de tales formalismos en general. En la teoría de lenguajes de programación, una rama de las ciencias de la computación, la teoría de tipos puede referirse al diseño, análisis y estudio de los sistemas de tipos, aunque algunos científicos de la computación limitan el significado del término al estudio de formalismos abstractos como el cálculo lambda tipado.

(Wikipedia)

Hasta ahora la mayor parte del material sobre teoría de tipos sólo ha aparecido en las actas de congresos y en trabajos de investigación, por lo que parece apropiado tratar de establecer el estado actual de desarrollo en una forma accesible a los estudiantes de último curso, estudiantes de postgrado, investigadores y profesores de ciencias de la computación y afines - por lo tanto, para todos ellos es este libro.

Este manual, editado en 1999, se encuentra actualmente fuera de los circuitos de impresión habiendo sido liberado por su autor para dominio público.

Categorías:

Etiquetas:

Cargando comentarios...

Escaneando listas...

El libro en números

Posición global

posición en categoría

en catálogo desde

28/08/2013

puntuación

Nothing yet...

votos

Nothing yet...

'LIKES' sociales

Nothing yet...

Visitas

Descargas

Esto puede tardar un momento

Interés

Segmentación por países

Esto puede tardar un momento

Páginas de entrada

Segmentación por sitios web

evolución

Esto puede tardar un momento

Cargando...