What is wrong?

Notice: Before sending an error with the download, please try the direct link first: Type Theory & Functional Programming

Loading...

You must sign in to do that.

Forgot password?

Type Theory & Functional Programming

Type Theory & Functional Programming

Type Theory & Functional Programming

Score: ---- | 0 votes
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
Year:1999
Publisher:University of Kent
Pages:378 pages
Language:english
Since:28/08/2013
Size:1.25 MB
License:Pending review

Content:

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.

Categories:

Tags:

Loading comments...

Scanning lists...

The book in numbers

global rank

rank in category

online since

28/08/2013

rate score

Nothing yet...

votes

Nothing yet...

Social likes

Nothing yet...

Views

Downloads

This may take several minutes

Interest

Countries segmentation

This may take several minutes

Source Referers

Websites segmentation

evolution

This may take several minutes

Loading...