|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| paolini98tesi (Master's thesis) | |
| Author(s) | Luca Paolini |
| Title | « La chiamata per Valore e La valutazione pigra nel -calcolo » |
| Type | Tesi di Laurea in Scienza dell'Informazione |
| School | Dipartimento di Informatica, Università degli Studi di Torino |
| Year | 1998 |
| Annotation |
Download the complete article:
| BibTeX code |
@mastersthesis{paolini98tesi,
author = {Luca Paolini},
title = {La chiamata per Valore e La valutazione pigra nel $\lambda$-calcolo},
school = {Dipartimento di Informatica, Universit\`a degli Studi di Torino},
tag = {Tesi di Laurea in Scienza dell'Informazione},
type = {Tesi di Laurea in Scienza dell'Informazione},
localfile = {http://www.di.unito.it/~paolini/papers/laurea2.ps},
year = 1998,
annote = {In Italian},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
