Please use this identifier to cite or link to this item: http://hdl.handle.net/10773/3869
Title: Fundamentos matemáticos da programação funcional
Author: Abreu, Alexandra Isabel Fernandes Espinha
Advisor: Hofmann, Dirk
Keywords: Matemática
Programação funcional
Cálculo lambda
Programação matemática
Computação matemática
Semântica de computadores
Defense Date: 2009
Publisher: Universidade de Aveiro
Abstract: O objectivo desta tese é estudar os contributos matemáticos que estiveram na origem da, agora tão falada, programação funcional. Este trabalho está organizado em duas fases. Numa primeira fase irá estudarse o cálculo-λ como sendo a primeira linguagem de programação funcional, especialmente no que diz respeito à notação utilizada por ela, e a sua contribuição nas ciências da computação. Na segunda fase irá estudar-se a linguagem de programação de funções computáveis, PCF, inicialmente desenvolvida por Dana Scott e posteriormente estudada por Gordon Plotkin. A sua sintaxe e outras propriedades serão alvo de estudo neste trabalho.
The aim of this thesis is to study the mathematical contributions that resulted in the functional programming. This work is organized in two phases. Initially it will examine the λ-calculus as the first functional programming language, especially in what concerns to the notation used by it and its contribution in the Computer Science. In the second phase it will study the programming language of computable functionals, PCF, originally developed by Dana Scott and later studied by Gordon Plotkin. Its syntax and other properties will be subject of study in this work.
Description: Mestrado em Matemática
URI: http://hdl.handle.net/10773/3869
Appears in Collections:MAT - Dissertações de mestrado
UA - Dissertações de mestrado

Files in This Item:
File Description SizeFormat 
4363.pdf453.03 kBAdobe PDFView/Open


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.