PUMA
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.
 
 
Abstract
(English)
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.
Subject


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