Paradigmas de Linguagens de Programação: uma abordagem geométrica
Isabel Cafezeiro
Edward Hermann Haeusler
PUC-RIO
This article proposes a framework for definning programming languages
paradigms. The main idea is the existence of various levels of
abstraction over the notion of programs with inputs. Categorical
language and the concept of sheaf are used in order to obtain an
approach for a mathematical definition of programming language
paradigms based on a geometric definition of computable functions.
.