There are several programming styles in functional programming, and none is considered to be the best. Two opposite styles are, for example, pointwise and pointfree, that can be differentiated mainly by the use of variables in the first case, and their inexistence in the second one. In this project a possible definition of pointfree and pointwise expressions was introduced, using a simple set of terms. It was then defined a conversion process between these two kind of expressions. Other pointwise languages were also studied. The main goal was to make possible the translation from pointwise code to pointfree, by using theoretical bases, that guarantee that no errors are introduced in the conversion process.