Istituto di Scienza e Tecnologie dell'Informazione     
Aiello L., Aiello M. Programming language semantics in a typed lambda-calculus. In: Symposium on Lambda-Calculus and Computer Science Theory (Rome, 1975). Proceedings, 1975.
In this paper we are concerned with the mathematical methods for defining the semantics of programming languages. To provide a mathematical semantics for a programming language means to associate with the constructs of the the languge certain mathematical entities.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional