The algebraic λ-calculus [40] and the linear-algebraic λ-calculus [3] extend the λ-calculus with the possibility of making arbitrary linear combinations of λ-calculus terms (preserving ∑ αi.ti). In this paper we provide a fine-grained, System F -like type system for the linear-algebraic λ-calculus (Lineal). We show that this scalar type system enjoys both the subject-reduction property and the ...

Clinical investigators often preprocess, process, and analyze their data without benefit of formally organized research centers to oversee data management. This article outlines a practical three-file structure to help guide these investigators track and document their data through processing and analyses. The proposed process can be implemented without additional training or specialized softwa...

The many important innovations and reforms that over the years have involved Public Administration in a change and growth process have resulted in the dissemination of new analytical technologies aimed at exploring cost structures and the correlations between costs and achieved results, so as to support Government decision-makers with dependable and verified data. The achievement of this goal h...

This paper describes a method for teaching students financial accounting bases. The method is based on correcting some typical errors, which can be observed at the beginners.